2
$\begingroup$

Here is a prototype of the problem I have in mind: Let $P:\mathbb{R}^2\rightarrow\mathbb{R}$ be a strictly convex, nonnegative polynomial such that $P(0,0)=0$. Let $\alpha\geq 0$, and consider the following version of its distribution function (in the sense of, say, harmonic analysis)

$$\lambda_P(\alpha)=|\{(x,y)\in\mathbb{R}^2: P(x,y)<\alpha\}|;$$

here by $|\cdot|$ I mean Lebesgue measure on the plane.

Question. Is $\lambda=\lambda_P$ a smooth ($C^\infty$) function of $\alpha$, for $\alpha>0$?

Thank you.

  • 0
    Don't you mean $|P(x,y)|<\alpha$? Otherwise $\lambda_P(\alpha)$ is going to be infinite for $\alpha>1$ and $P$ nonconstant.2012-07-05
  • 0
    @Alex: Corrected, thanks. I guess one could equivalently ask about the function $$\lambda_P(\alpha)=|\{(x,y)\in K: |P(x,y)|>\alpha\}|,$$ where $K$ is some compact and convex subset of the plane...2012-07-05
  • 1
    Since you assume strict convexity, why take the modulus? It would be more natural to consider the set where $P<\alpha$. Also, are you interested in $C^1$ or higher degrees of smoothness?2012-07-05
  • 0
    @Alex: What polynomial are you taking? $P(x,y)=x^2+y^2$? Then $\lambda_P(\alpha)=\pi (1-\alpha)$ if $\alpha\leq 1$, right? In any case, the point is that I'm only interested in smoothness of $\lambda$ in the _interior_ of its support (hence the requirement $\alpha>0$ in the original question).2012-07-05
  • 0
    @user17240 Take $P=(x^2+y^2)^{10}-1$: the set $|P|<\alpha$ is the annulus with radii $(1\pm \alpha)^{1/20}$ and the area $\pi(1+ \alpha)^{1/10}-\pi(1- \alpha)^{1/10}$ (the second term disappears when $\alpha>1$). This is not smooth at $\alpha=1$.2012-07-05
  • 0
    @Leonid: Corrected, thanks.2012-07-05
  • 0
    @user17240 Now you should also normalize $P$ by $\min P=0$, otherwise the restriction to $\alpha>0$ is pointless.2012-07-05
  • 0
    @Leonid: Agreed.2012-07-05
  • 0
    @user17240 I too would like to know what notion of smoothness you're interested in. $C^1$ would be easier to proof, if true.2012-07-05
  • 0
    @Alex: As edited, I'm interested in $C^\infty$ smoothness.2012-07-05

2 Answers 2

2

I think it is indeed $C^\infty$ smooth. Let $r,\theta$ be polar coordinates. For each fixed $\theta$ the function $p_\theta(r)=P(r,\theta)$ is $C^\infty$ smooth on $(0,\infty)$ and has strictly positive derivative. Therefore, the inverse $R_\theta : (0,\infty)\to(0,\infty)$ is also $C^\infty$ smooth. We have $\lambda_P(\alpha)=\frac{1}{2}\int_0^{2\pi}R_\theta^2(\alpha)\,d\theta$, and this can be differentiated with respect to $\alpha$ as many times as we wish.

0

Let's modify the problem slightly, considering instead a $1$-variable strictly convex monic polynomial $P(x)=x^n+a_{n-1}x^{n-1}+\cdots+a_0$ and $\lambda_P(\alpha)=|\{x\in\mathbb R: P(x)<\alpha\}|$. Since $P$ is strictly convex, any line intersects it at most twice including the line $y=\alpha$. In fact, it is easy to see that $P$ has even degree and thus $y=\alpha$ intersects $P$ at exactly two points for $\alpha>M$ the global minimum. Let $m$ be the unique value such that $P(m)=M$. Then we have two functions $f_1(\alpha)< m

Generalizing the original problem, let $P(x_1,\ldots,x_k)$ be a strictly convex polynomial in arbitrarily many variables. Let $\chi_P(x_1,\ldots,x_k)$ be the indicator function for the set $\{(x_1,\ldots,x_k):P(x_1,\ldots,x_k)<\alpha\}$. By Fubini's theorem, $$\lambda_P(\alpha)=\int_{\mathbb R^n} \chi_P(x_1,\ldots,x_k)dx_1\cdots dx_k=\int_{\mathbb R}\cdots \int_{\mathbb R} \chi_P(x_1,\ldots,x_k)dx_1\cdots dx_k$$ and note that $\chi_P(x_1,\ldots,x_k)$ is the indicator function of a set $\{x_1: f(x_1)<\alpha\}$ where $f$ is a polynomial with coefficients varying smoothly in the other varaibles. It follows that the roots $f_1,f_2$ are smooth functions of $\alpha,x_2,\ldots,x_k$ except where the relevant Jacobian is noninvertible, which by strict convexity corresponds to points at which $f_1,f_2$ fail to exist and so $f_1,f_2$ are smooth wherever they are defined. Since $$\lambda_P(\alpha)=\int_{\mathbb R}\cdots \int_{\mathbb R} (f_2(\alpha,x_2,\ldots,x_n)-f_1(\alpha,x_2,\ldots,x_n)) dx_2\cdots dx_k$$ it follows by differentiating under the integrals that $\lambda_P$ is smooth.