Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 340 / 2 / b

For $0<\alpha \le 1$, uniform Lipschitz-$\alpha$ means that one constant $M$ satisfies $|f(x)-f(y)|\le M|x-y{|}^{\alpha }$ for every $x,y\in [0,1]$. The resulting Hölder space has normFor the subsequent estimates at general $\alpha >0$, use the higher-order Hölder class convention: write $\alpha =r+\beta$ with $r\ge 0$ an integer and $0<\beta \le 1$, and require $f\in C^r([0,1])$ with $f^{(r)}$ uniformly Lipschitz-$\beta$. ThusAt integer $\alpha =k$, this uses $C^{k-1,1}$; the alternative classical $C^k$ convention is stronger on this compact closed interval and also suffices for the estimates.

For exponents above one, a first-difference inequality alone forces the function to be constant. Partition $[x,y]$ into $n$ equal pieces and use the triangle inequality: $|f(y)-f(x)|\le M|y-x{|}^{\alpha }{n}^{1-\alpha }\to 0$. Consequently a nontrivial higher-order definition is needed for the full range of exponents in the later wavelet estimates. Equivalently, higher-order Hölder class gives a local Taylor polynomial with remainder bounded by $C\Vert f{\Vert }_{C^{\alpha }}|x-x_0{|}^{\alpha }$.