# A theorem about Lipschitz regularity and Fourier transform

How to prove that:

A function $f$ is uniformly Lipschitz $\alpha$ over $\mathbb R$ if $$\int_{-\infty}^{+\infty}|\hat f(\omega)|(1+|\omega|^\alpha)d\omega<+\infty$$ A function $f$ is uniformly Lipschitz over $[a, b]$ if it satisﬁes $|f(t)-p_v(t)|\le K(t-v)^\alpha$, where $p_v(t)$ is a polynomial of degree $\lfloor\alpha\rfloor,$ for all $v∈[a, b]$ with a constant $K$ that is independent of $v$.

I think that this condition implies $f$ is $\lfloor\alpha\rfloor$ times continuous, but I am still unable to prove it, and I prefer a direct proof.

-
I found the answer on page 207 of the book A Wavelet Tour of Signal Processing, 3rd ed. If anyone want to see it, I can write it down. – Ziqian Xie Apr 4 '13 at 21:17

Yes, this is true. Your continuity condition is basically that of Holder continuity with exponent $\alpha$.
Your question is a simple corollary of one of Silvestre's preliminary estimates: namely, that if a function $g \in L^\infty$ and $$|\xi|^{\alpha} \hat{u} = \hat{g}$$ where the hats represent Fourier transforms, then $u$ is $C^\alpha$, where $0 < \alpha < 2$.