MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have to provide a (Markov or Bernstein-based?) inequality that gives an upper bound for the partial derivatives of a multivariate polynomial calculated near a real smooth surface in terms of value of the polynomial calculated on the surface.

More precisely: suppose $p$ a polynomial of $d$ real variables of fixed total degree $n$, $M$ a compact surface in $\mathbb{R}^{d}$ (as smooth and good as we need), i'm lookin for something near to $${\| \partial_i p\|}_{M+B(0,\epsilon)} \leq \text{Something}(n,d, \epsilon) \|p \|_M $$ where $M+B(0,\epsilon)$ means an $\epsilon$-neighborhood of $M$ and $\|f\|_K$ is the supnorm of $f$ on $K$.

There is a tangential version of Markov inequality... seems to me to not suffice...

Thank you for any suggestions!

share|cite|improve this question
So $M$ is compact and $M+B(0,\epsilon)$ is some $\epsilon$-neighborhood of $M$? – J.C. Ottem Jan 11 '11 at 0:12
I think the OP meant to use the word estimate, not extimate, in the title. Perhaps someone with editing clout could fix it? – drbobmeister Jan 11 '11 at 0:57
Federico: I've taken the liberty of editing your question to include your updates, and in passing to correct some spelling. Hope you don't mind. – Yemon Choi Jan 11 '11 at 20:04
May be this question is somehow related:… – Nurdin Takenov Jan 12 '11 at 0:11

Ok, my original question was not so precisely posed..

$Something(n,d,\epsilon)$ depends of course on M too!

I know (the existence of) that article because before asking here i try to research some statements in google and mathscinet but without any positive result.

The problem is not the verse of inequality: it is the classical one, think to Markov Bernstein and Cauchy's inequalities. The (big?) problem is dimensional: for (good) full dimensional compact subset of $ \mathbb{R}^n $ and $\mathbb{C}^n$ too one can use Markov multivariate Inequality or Bernstein one. For a smooth compact manifold there is an equivalent statement, but it is only for partial derivatives with respect to tangential directions. Moving along tangential direction you obviously can't obtain a full neiborhood of manifold, hence i can't provide inequality for all the points that i need.

Perhaps a domination of all derivatives by value of polynomial on the manifold is impossible because of the nature of the problem...could be?

PS now that we focused on another error in my original question, how the right behaviour is like? Should i edit my first post and fix or not?

share|cite|improve this answer
can you make your statement more precise please? do you require p to be homogenuous? what is wrong with $p(x_1,\dots,x_d)=x_1^2+…+x_d^2−1$ and $M=\mathbb{S}^{d-1}$? – Olivier Bégassat Mar 24 '11 at 4:02

Your Answer


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.