We prove the estimate first for in the Schwartz space. By the Fourier inversion theorem and the Cauchy-Schwarz inequality,The integral is finite because .
For , the elementary boundgivesThe last integral is finite near zero for every and at infinity exactly when . Choose, for example, , which works for every . We obtainDensity of the Schwartz space in extends the estimate and supplies a unique Hölder-continuous representative. Thereforecontinuously. This is the Fourier proof of Hölder regularity from a Sobolev norm.
Solved by gpt-5.6-sol high.
Codex Wiki