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 n {\displaystyle n} of a function f ∈ C [ a , b ] {\displaystyle f\in C[a,b]} is the function ω n : [ 0 , ∞ ) → R {\displaystyle \omega _{n}:[0,\infty )\to \mathbb {R} } defined by
ω n ( t , f , [ a , b ] ) = sup h ∈ [ 0 , t ] sup x ∈ [ a , b − n h ] | Δ h n ( f , x ) | for 0 ≤ t ≤ b − a n , {\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
ω n ( t , f , [ a , b ] ) = ω n ( b − a n , f , [ a , b ] ) for t > b − a n , {\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
Δ h n ( f , x 0 ) = ∑ i = 0 n ( − 1 ) n − i ( n i ) f ( x 0 + i h ) . {\displaystyle \Delta _{h}^{n}(f,x_{0})=\sum _{i=0}^{n}(-1)^{n-i}{\binom {n}{i}}f(x_{0}+ih).}
Properties 1. ω n ( 0 ) = 0 , ω n ( 0 + ) = 0. {\displaystyle \omega _{n}(0)=0,\omega _{n}(0+)=0.}
2. ω n {\displaystyle \omega _{n}} is non-decreasing on [ 0 , ∞ ) . {\displaystyle [0,\infty ).}
3. ω n {\displaystyle \omega _{n}} is continuous on [ 0 , ∞ ) . {\displaystyle [0,\infty ).}
4. For m ∈ N , t ≥ 0 {\displaystyle m\in \mathbb {N} ,t\geq 0} we have:
ω n ( m t ) ≤ m n ω n ( t ) . {\displaystyle \omega _{n}(mt)\leq m^{n}\omega _{n}(t).}
5. ω n ( f , λ t ) ≤ ( λ + 1 ) n ω n ( f , t ) , {\displaystyle \omega _{n}(f,\lambda t)\leq (\lambda +1)^{n}\omega _{n}(f,t),} for λ > 0. {\displaystyle \lambda >0.}
… excerpt ends here. Continue reading the full article.
