Modulus of smoothness

This article has multiple issues. Please help or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help by introducing citations to additional sources. Find sources:  –  ·  ·  · scholar · JSTOR (March 2015) This article may be too technical for most readers to understand. Please to make it understandable to non-experts, without removing the technical details. (March 2015) (Learn how and when to remove this template message) (Learn how and when to remove this template message)

In mathematics, moduli of smoothness are used to quantitatively measure smoothness of functions. Moduli of smoothness generalise modulus of continuity and are used in approximation theory and numerical analysis to estimate errors of approximation by polynomials and splines.

Moduli of smoothness[]

The modulus of smoothness of order ${\displaystyle n}$ ^[1] of a function ${\displaystyle f\in C[a,b]}$ is the function ${\displaystyle \omega _{n}:[0,\infty )\to \mathbb {R} }$ defined by

${\displaystyle \omega _{n}(t,f,[a,b])=\sup _{h\in [0,t]}\sup _{x\in [a,b-nh]}\left|\Delta _{h}^{n}(f,x)\right|\qquad {\text{for}}\quad 0\leq t\leq {\frac {b-a}{n}},}$

and

${\displaystyle \omega _{n}(t,f,[a,b])=\omega _{n}\left({\frac {b-a}{n}},f,[a,b]\right)\qquad {\text{for}}\quad t>{\frac {b-a}{n}},}$

where the finite difference (n-th order forward difference) is defined as

${\displaystyle \Delta _{h}^{n}(f,x_{0})=\sum _{i=1}^{n}(-1)^{n-i}{\binom {n}{i}}f(x_{0}+ih).}$

Properties[]

1. ${\displaystyle \omega _{n}(0)=0,\omega _{n}(0+)=0.}$

2. ${\displaystyle \omega _{n}}$ is non-decreasing on ${\displaystyle [0,\infty ).}$

3. ${\displaystyle \omega _{n}}$ is continuous on ${\displaystyle [0,\infty ).}$

4. For ${\displaystyle m\in \mathbb {N} ,t\geq 0}$ we have:

${\displaystyle \omega _{n}(mt)\leq m^{n}\omega _{n}(t).}$

5. ${\displaystyle \omega _{n}(f,\lambda t)\leq (\lambda +1)^{n}\omega _{n}(f,t),}$ for ${\displaystyle \lambda >0.}$

6. For ${\displaystyle r\in \mathbb {N} }$ let ${\displaystyle W^{r}}$ denote the space of continuous function on ${\displaystyle [-1,1]}$ that have ${\displaystyle (r-1)}$-st absolutely continuous derivative on ${\displaystyle [-1,1]}$ and

${\displaystyle \left\|f^{(r)}\right\|_{L_{\infty }[-1,1]}<+\infty .}$

If ${\displaystyle f\in W^{r},}$ then

${\displaystyle \omega _{r}(t,f,[-1,1])\leq t^{r}\left\|f^{(r)}\right\|_{L_{\infty }[-1,1]},t\geq 0,}$

where ${\displaystyle \|g(x)\|_{L_{\infty }[-1,1]}={\mathrm {ess} \sup }_{x\in [-1,1]}|g(x)|.}$

Applications[]

Moduli of smoothness can be used to prove estimates on the error of approximation. Due to property (6), moduli of smoothness provide more general estimates than the estimates in terms of derivatives.

For example, moduli of smoothness are used in Whitney inequality to estimate the error of local polynomial approximation. Another application is given by the following more general version of Jackson inequality:

For every natural number ${\displaystyle n}$, if ${\displaystyle f}$ is ${\displaystyle 2\pi }$-periodic continuous function, there exists a trigonometric polynomial ${\displaystyle T_{n}}$ of degree ${\displaystyle \leq n}$ such that

${\displaystyle \left|f(x)-T_{n}(x\right)|\leq c(k)\omega _{k}\left({\frac {1}{n}},f\right),\quad x\in [0,2\pi ],}$

where the constant ${\displaystyle c(k)}$ depends on ${\displaystyle k\in \mathbb {N} .}$

References[]