English

Landau--Kolmogorov inequality revisited

Numerical Analysis 2012-10-30 v1

Abstract

The Landau-Kolmogorov problem consists of finding the upper bound MkM_k for the norm of intermediate derivative f(k)|f^{(k)}|, when the bounds fM0|f| \le M_0 and f(n)Mn|f^{(n)}| \le M_n, for the norms of the function and of its higher derivative, are given. Here, we consider the case of a finite interval, and when all the norms are the max-norms. Our interest to that particular case is motivated by the fact that there are good chances to add this case to a short list of Landau--Kolmogorov inequalities where a complete solution exists, i.e., a solution that covers all values of n,kNn,k\in\N (and, for a finite interval, all values of σ=Mn/M0\sigma = M_n/M_0). The main guideline here is Karlin's conjecture that says that, for all n,kNn,k\in\N and all σ>0\sigma>0, the maximum of f(k)|f^{(k)}| is attained by a certain Chebyshev or Zolotarev spline. So far, it has been proved only for small n4n \ge 4 with all σ\sigma, and for all nn with particular σ=σn\sigma = \sigma_n. Here, we prove Karlin's conjecture in several further subcases: 1) all n,kNn,k\in\N and all 0<σσn0 < \sigma \le \sigma_n 2) all nNn \in \N, all σ>0\sigma > 0, with k=1,2k=1,2 3) all σ>0\sigma > 0, with n<10n < 10 and 0<k<n0 < k < n.

Keywords

Cite

@article{arxiv.1210.7708,
  title  = {Landau--Kolmogorov inequality revisited},
  author = {Alexei Shadrin},
  journal= {arXiv preprint arXiv:1210.7708},
  year   = {2012}
}