Lagmental Vicfred

Sobolev Norms Penalize High Frequencies by Vicfred

Last updated: Wed 21 January 2026

tags: mathematics, Fourier analysis, convolution, Sobolev spaces

An H to s norm weights each Fourier mode by its frequency and measures weak differentiability. I want the notation, the mechanism, and the failure mode visible at the same time.

Statement

Fourier analysis expands a function into frequencies. On the circle the coefficients are \(\widehat f(n)\); on \(\mathbf R\) the transform \(\widehat f(\xi)\) is an integral against an oscillatory exponential.

$$ H^s(\mathbf R^d)=\{f:(1+|\xi|^2)^{s/2}\widehat f(\xi)\in L^2\} $$

There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.

$$ \|f\|_{H^s}^2=\int_{\mathbf R^d}(1+|\xi|^2)^s|\widehat f(\xi)|^2\,d\xi $$

Worked algebra

The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.

$$ \widehat{\partial^\alpha f}(\xi)=(2\pi i\xi)^\alpha\widehat f(\xi),\qquad\|f\|_{H^m}^2\asymp\sum_{|\alpha|\le m}\|\partial^\alpha f\|_2^2 $$

Conceptual compression

The compact alignment is a local map of the argument: assumptions on the first row, consequence on the second. Any generalisation must preserve that dependency.

$$ \begin{aligned} \mathsf{D}\;&:\quad H^s(\mathbf R^d)=\{f:(1+|\xi|^2)^{s/2}\widehat f(\xi)\in L^2\},\\[5pt] \mathsf{C}\;&:\quad \|f\|_{H^s}^2=\int_{\mathbf R^d}(1+|\xi|^2)^s|\widehat f(\xi)|^2\,d\xi. \end{aligned} $$

Caveat

Normalization conventions move factors of \(2\pi\) between the transform, inverse transform, derivative rule, and Gaussian formula.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \|f\|_{H^s}^2=\int_{\mathbf R^d}(1+|\xi|^2)^s|\widehat f(\xi)|^2\,d\xi \end{gathered}} $$

A symbolic summary is trustworthy only because the example and limitation remain visible beside it. The box compresses the conclusion without hiding its origin.

This article was posted on Sat 30 August 2025. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.