English

Higher derivatives of functions with zeros on algebraic curves

Classical Analysis and ODEs 2023-09-11 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} \| f(z) \|=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. 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.2309.03975,
  title  = {Higher derivatives of functions with zeros on algebraic curves},
  author = {Gil Goldman and Yosef Yomdin},
  journal= {arXiv preprint arXiv:2309.03975},
  year   = {2023}
}