# Asymptotic behavior of Fourier transform and Hölder condition

I'm trying to solve this question.

Following the hint, the Fourier inversion formula gives me : $$\big| f(x+h) - f(x)\big| = \left| \frac{1}{2\pi} \int_{-\infty}^\infty \widehat{f}(\xi) e^{i(x+h)\xi}\; d\xi ~-~ \frac{1}{2\pi} \int_{-\infty}^\infty \widehat{f}(\xi) e^{ix\xi}\; d\xi \right| \\=~\frac{1}{2\pi} \left|\int_{-\infty}^\infty \widehat{f}(\xi) \big(e^{i(x+h)\xi} - e^{ix\xi}\big) \; d\xi \right| \\\leq~ \frac{1}{2\pi} \int_{-\infty}^\infty \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big| \; d\xi \\= \frac{1}{2\pi} \int_{|\xi| \leq \frac{1}{|h|}} \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big| \; d\xi ~+~ \frac{1}{2\pi} \int_{|\xi| > \frac{1}{|h|}} \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big|\; d\xi$$

I used this estimate for $|\xi|> \frac{1}{|h|}$ : $$|e^{i(x+h)\xi }-e^{ix\xi}|\leq 2.$$ This gives me $$\frac{1}{2\pi} \int_{|\xi| > \frac{1}{|h|}} \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big|\; d\xi \leq \frac{1}{2\pi} \int_{|\xi| > \frac{1}{|h|}} \frac{M}{|\xi|^{\alpha+1}} \cdot 2\; d\xi \\= \frac{M}{\pi} \int_{|\xi| > \frac{1}{|h|}} \frac{1}{|\xi|^{\alpha+1}} \; d\xi \\=~ \frac{2M}{\pi} \bigg[\frac{1}{-\alpha|\xi|^{\alpha}}\bigg]_{\frac{1}{|h|}}^{\infty} \\\leq \frac{2M}{\alpha\pi}|h|^\alpha$$ I'm not sure if I used the Big O condition correctly though.

Moreover I cannot find a suitable estimate for $|\xi|\leq\frac{1}{|h|}$.

• The estimate $|e^{i\theta}-1|\le |\theta|$ should be the key to this problem. The one you used, $|e^{i(x+h)\xi}-e^{ix\xi}|\le 2$, is too rough. – Giuseppe Negro Apr 10 '16 at 15:18
• Could you write this down ? I've tried this estimate, but without success. – Hamid Apr 10 '16 at 16:56
• I get $\frac{\|\widehat{f}\|_\infty }{2\pi} \int_{|\xi| \leq \frac{1}{|h|}} \big| \xi h\big| \; d\xi \leq~ \frac{\|\widehat{f}\|_\infty }{2\pi} \int_{|\xi| \leq \frac{1}{|h|}} \big| \xi h\big|^\alpha \; d\xi \leq \frac{|h|^\alpha \cdot \|\widehat{f}\|_\infty }{2\pi} \int_{|\xi| \leq \frac{1}{|h|}} |\xi|^\alpha \; d\xi$, but this integral depends on $|h|$... – Hamid Apr 10 '16 at 16:59

$$\big| f(x+h) - f(x)\big| ~=~ \left| \frac{1}{2\pi} \int_{-\infty}^\infty \widehat{f}(\xi) e^{i(x+h)\xi}\; d\xi ~-~ \frac{1}{2\pi} \int_{-\infty}^\infty \widehat{f}(\xi) e^{ix\xi}\; d\xi \right| \\=~\frac{1}{2\pi} \left|\int_{-\infty}^\infty \widehat{f}(\xi) \big(e^{i(x+h)\xi} - e^{ix\xi}\big) \; d\xi \right| \\\leq~ \frac{1}{2\pi} \int_{-\infty}^\infty \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big| \; d\xi \\\leq~ \frac{1}{2\pi} \int_{-\infty}^\infty \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big| \; d\xi \\=~ \frac{1}{2\pi} \int_{|\xi| \leq \frac{1}{|h|}} \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big| \; d\xi ~+~ \frac{1}{2\pi} \int_{|\xi| > \frac{1}{|h|}} \big| \widehat{f}(\xi)\big| \cdot \big| e^{i(x+h)\xi} - e^{ix\xi}\big|\; d\xi \\\leq~ \frac{1}{2\pi} \int_{|\xi| \leq \frac{1}{|h|}}\frac{M}{|\xi|^{\alpha+1}} \cdot \left| 2i e^{i\left(\frac{\xi ((x+h)+x)}{2}\right)}\sin\left(\frac{\xi(x+h-x)}{2} \right)\right| \; d\xi ~+~ \frac{1}{2\pi} \int_{|\xi| > \frac{1}{|h|}} \frac{M}{|\xi|^{\alpha+1}} \cdot 2\; d\xi \\\leq~ \frac{M}{2\pi} \int_{|\xi| \leq \frac{1}{|h|}} \frac{1}{|\xi|^{\alpha+1}} \big| \xi h\big| \; d\xi ~+~ \frac{M}{\pi} \int_{|\xi| > \frac{1}{|h|}} \frac{1}{|\xi|^{\alpha+1}} \; d\xi \\\leq~ \frac{|h|\cdot M}{2\pi} \int_{|\xi| \leq \frac{1}{|h|}} \frac{1}{|\xi|^{\alpha+1}} |\xi| \; d\xi ~+~ \frac{2M}{\pi} \bigg[\frac{1}{-\alpha|\xi|^{\alpha}}\bigg]_{\frac{1}{|h|}}^{\infty} \\\leq~ \frac{|h| \cdot M}{2\pi} \int_{|\xi| \leq \frac{1}{|h|}}\frac{1}{|\xi|^{\alpha}} \; d\xi ~+~ \frac{2M}{\alpha\pi}|h|^\alpha \\=~ \frac{|h| \cdot M }{\pi} \bigg[ \frac{|\xi|^{1-\alpha}}{1-\alpha} \bigg]_{0}^{\frac{1}{|h|}} ~+~ \frac{2M}{\alpha\pi}|h|^\alpha \\=~ \frac{|h| \cdot M}{(1-\alpha)\pi} \frac{1}{|h|^{1-\alpha}} ~+~ \frac{2M}{\alpha\pi}|h|^\alpha \\=~ \frac{|h|^\alpha \cdot M}{(1-\alpha)\pi} ~+~ \frac{2M}{\alpha\pi}|h|^\alpha \\=~ \left(\frac{M}{(1-\alpha) \pi} + \frac{2M}{\alpha \pi}\right) \cdot |h|^\alpha.$$