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

Consider a compact sub-manifold $X \subset \mathbb{R}^n$ of Euclidean space and let $f:X \to \mathbb{R}$ be any smooth function. Recall that $x \in X$ is a critical point of $f$ if the gradient $\nabla_x f$ is identically zero, and in this case $f(x) \in \mathbb{R}$ is called a critical value of $f$. It is well-known by Sard's theorem that the set of critical values of $f$ has Lebesgue measure zero as a subset of $\mathbb{R}$.

Is there a "fuzzy" version of this theorem for a suitable class of smooth functions?

More precisely, define the monotone function $M_f : \mathbb{R}^+ \to \mathbb{R}^+$ as follows: $M_f(\epsilon)$ is the Lebesgue measure of the set $$\lbrace p \in \mathbb{R} \mid p = f(x) \text{ for some } x \in X \text{ with }\|\nabla_x f \| < \epsilon\rbrace.$$ By Sard's theorem, $M_f(0) = 0$ for any smooth $f$.

Here's the question:

Can we classify those smooth $f:X \to \mathbb{R}$ for which $M_f$ is continuous on its domain of definition in general (and in particular, continuous from above at $0$)?

Essentially, we know that the measure of values of $f$ where the gradient of the pre-image equals zero is zero. When the gradient comes within $\epsilon$ of zero, can we bound the measure by a continuous function of $\epsilon$?

share|improve this question
    
Your definitions are a little confusing. As written your definition of $\nabla_c f$ makes no sense since the gradient has to be defined at points of $X$ not at points of $f(X)$. –  Rbega Oct 16 '12 at 9:59
    
Did you inspect the one-dimensional case $X=\mathbb{R}$? I suspect that basically arbitrary functions $M_f$ are possible. –  Dirk Oct 16 '12 at 10:01
    
Rbega, I noticed that I'd messed up critical points and values, I think it is fixed now. –  Vidit Nanda Oct 16 '12 at 10:05
2  
Have a look at Yomdin's paper The geometry of critical and near-critical values of differential mappings, Math. Ann. vol 264(1983), p. 495-515. It might help. –  Liviu Nicolaescu Oct 16 '12 at 10:10
    
Thanks Liviu, I will take a look. –  Vidit Nanda Oct 16 '12 at 10:23

1 Answer 1

It true that the function $M_f: \epsilon\mapsto \operatorname{meas} f\{\|\nabla f(x)\| < \epsilon\}$ is left-continuous (that is, since it is in any case an increasing function, lower semi-continuous); in particular continuous at $\epsilon=0$.

Indeed, if $\epsilon_n\ge0$ is an increasing sequence converging to $\epsilon\ge0$ one has

$$ f\{\|\nabla f(x)\| < \epsilon\}=\bigcup_{n\in\mathbb{N}} f\{\|\nabla f(x)\| < \epsilon _ n\}\, ,$$ so $ \operatorname{meas} f\{\|\nabla f(x)\| < \epsilon _ n\}\to \operatorname{meas} f\{\|\nabla f(x)\| < \epsilon \} $. However it is not right-continuous in general. Think of the case $X:=\mathbb{S}^1=\mathbb{R}/\mathbb{Z}$, with a 1-periodic function $f:\mathbb{R}\to\mathbb{R}$ with a minimum value $f(0)=0$, and a maximum value $f(1/2)$, and such that $|f'(x)|=1$ everywhere but in a nbd $U$ of small measure $\delta < f(1/2)/2$ of the maximum and minimum points, where $|f'(x)|<1$. In this situation, $f\{| f'(x)| < 1\}=f(U)$ has measure at most $2\delta$, whereas $f\{| f'(x)| \le 1\}=f([0,1])=f(1/2) .$ Therefore $M_f$ can't be continuous at $\epsilon=1$.

share|improve this answer
    
Dear Pietro, Thank you for the answer. I understand that $M_f$ will not be right continuous in general. The question asks for what functions $f$ will $M_f$ be continuous? –  Vidit Nanda Oct 16 '12 at 12:23

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.