Skip to main content
4 of 7
deleted 2 characters in body
Medo
  • 852
  • 5
  • 13

Is $f^{-a}$ locally integrable if $f\geq 0$ has a unique stationary point ( a minimum) at which the Hessian is positive definite, $0<a<d/2$

Let $0<a<d/2$, let $B$ be the unit ball in $\mathbb{R}^{d}$ centered at the origin, and let $f:B \to [0,\infty[$ be a a smooth function such that

(1) $f(x)\geq f(0).$

(2) $\nabla f(x)\neq 0,\quad \forall x\neq 0.$

(3) The Hessian matrix $D^2 f(0)$ is positive definite.

I am trying to prove $f^{-a}$ is integrable on $B$. I am obviously interested in the case $f(0)=0$.

Since $0$ is a minimum of $f$ we necessarily have $\nabla f(0)=0$. So there exists $\xi \in B$ such that $$f(x)=f(0)+x^T D^2 f(0) x+ \sum_{|\alpha|=3}\frac{x^{\alpha}}{\alpha !} D^{\alpha}f(\xi),\quad x \in B.$$

Since $D^2f(0)$ is positive definite, there exists $C>0$ such that $x^T D^2f(0)x\geq C|x|^2$. And, for $x \in B^{\prime}$, a small enough ball centered at $0$, we have $$|\sum_{|\alpha|=3}\frac{x^{\alpha}}{\alpha !} D^{\alpha}f(\xi)|<\frac{1}{2} C|x|^2. \qquad (1)$$ So, for $x \in B^{\prime}$, we have $$f(x)\geq \frac{1}{2} C|x|^2.$$

So we have the integral

$$\int_{B^{\prime}}f^{-a} \lesssim \int_{B^{\prime}}|x|^{-2 a}dx.$$ We are done with this part by the assumption $2a<d$.

I don't know how to get a good enough bound for $f$ away from $0$, if at all possible. Are the conditions (1)-(3) sufficient for $\int_{B\setminus B^{\prime}}f^{-a}$ to be finite ?

Edit: I think the answer to my question is affirmative and simple:

Let $\delta>0$ be the radius of $B^{\prime}$. If $|x|>\delta$ then $f(x)>\frac{1}{2} C|x|^2$. Otherwise $f(x)\leq f(y)$ for some $y \in B^{\prime}$. This does not occur unless $f$ has a stationary point, which contradicts condition $(2)$.

I think more is true: The function $f$ is convex. It is strictly convex near $0$ by assumption $(3)$, and the assumption $(2)$ (that $\nabla f\neq 0$ at any point other than $0$) guarantees that $f$ has no critical points other than $0$. Makes sense ?

Medo
  • 852
  • 5
  • 13