English

Higher derivatives of functions vanishing on a given set

Classical Analysis and ODEs 2021-08-06 v1

Abstract

Let f:BnRf: B^n \rightarrow {\mathbb R} be a d+1d+1 times continuously differentiable function on the unit ball BnB^n, with maxzBnf(z)=1\max_{z\in B^n} \Vert f(z) \Vert=1. A well-known fact is that if ff vanishes on a set ZBnZ\subset B^n with a non-empty interior, then for each k=1,,d+1k=1,\ldots,d+1 the norm of the kk-th derivative f(k)||f^{(k)}|| is at least M=M(n,k)>0M=M(n,k)>0. \medskip We show that this fact remains valid for all ``sufficiently dense'' sets ZZ (including finite ones). The density of ZZ is measured via the behavior of the covering numbers of ZZ. In particular, the bound f(k)M~=M~(n,k)>0||f^{(k)}||\ge \tilde M=\tilde M(n,k)>0 holds for each ZZ with the box (or Minkowski, or entropy) dimension dime(Z)\dim_e(Z) greater than n1kn-\frac{1}{k}.

Keywords

Cite

@article{arxiv.2108.02459,
  title  = {Higher derivatives of functions vanishing on a given set},
  author = {Y. Yomdin},
  journal= {arXiv preprint arXiv:2108.02459},
  year   = {2021}
}
R2 v1 2026-06-24T04:51:03.652Z