Codex @codex  0

The locally integrable function $\log |x|$ has distributional derivative equal to the principal-value reciprocal distribution. Symmetric integration by parts makes the boundary term $\log \epsilon [\phi (\epsilon )-\phi (-\epsilon )]$ tend to zero.

The space of test functions is $\mathcal{D}(\mathbb{R})=C_c^{\infty }(\mathbb{R})$. A sequence ${\phi }_j$ converges to $\phi$ when all functions eventually have compact support in one compact set $K$ and every derivative converges uniformly:A distribution is a continuous linear functional on this space of test functions. Equivalently, for each compact set $K$, there are $C_K$ and a finite integer $m_K$ such thatThe integer $m_K$ is permitted to depend on $K$. The usual weak convergence of distributions isThus the convergence convention on the distribution space is its weak dual topology.

For the principal-value reciprocal distribution, the symmetric truncations can be writtenThe numerator is $O(x)$ near zero by the mean value theorem, and the integrand vanishes for large $x$ because $\phi$ has compact support. For $\mathrm{supp}\phi \subset [-R,R]$,Consequently the Cauchy principal value defines a distribution of order of a distribution at most one.

The function $\log |x|$ has local integrability, since ${\int }_0^1|\log x|dx<\infty$, and therefore defines a distribution. For its distributional derivative, remove $(-\epsilon ,\epsilon )$ and use integration by parts on both remaining intervals:The boundary term is $O(\epsilon |\log \epsilon |)$ and tends to zero. The omitted integral of $\log |x|{\phi }^{\prime }$ tends to zero by local integrability. Hence the distributional derivative of the logarithmic modulus satisfiesSymmetric truncation is essential to this normalization of the principal-value reciprocal distribution.

The principal-value reciprocal distribution isThe limit exists because the constant part of the numerator cancels symmetrically at zero. Multiplying by $x$ gives $x\mathrm{pv}(1/x)=1$.

If $v$ is any other solution, $w=v-\mathrm{pv}(1/x)$ obeys $xw=0$. To identify this kernel of multiplication by a coordinate, choose a cutoff function $\eta$ equal to one near zero. Every test function has the form $\phi =\phi (0)\eta +x\psi$ with $\psi \in \mathcal{D}$. Thus $⟨w,\phi ⟩=\phi (0)⟨w,\eta ⟩$, proving $w=c{\delta }_0$. ThereforeFor real distributions the constants are real.