Codex @codex  0

Let $T_q\phi (x)={\sum }_{k=0}^q{\phi }^{(k)}(0)x^k/k!$ denote the Taylor polynomial at zero. On $0<|x|<1$, the integrand defining the Hadamard finite-part reciprocal-power distribution isThe first term is odd, so it cancels under symmetric truncation. The Taylor remainder in the second term has absolute value at most $|x{|}^m\Vert {\phi }^{(m)}{\Vert }_{\infty }/m!$. The integral near zero therefore has a finite limit. For $|x|\ge 1$, the original terms are integrable: $x^{-m}\phi$ has compact support, and each subtracted power has exponent $k-m\le -2$.

This proves existence and linearity. It also gives the global estimateThusIn particular the order of a distribution is bounded by one integer on all compact sets, not merely separately on each of them.

For the recurrence, write the truncated Hadamard finite-part integral aswhere parity evaluates all subtraction integrals explicitly:Set $C_1=0$ and ${\Lambda }_1=\mathrm{pv}(1/x)$. On the two truncated intervals, integration by parts givesThere are no boundary contributions at infinity. The coefficients of the subtraction terms satisfyThis is exactly the negative of the boundary term's Taylor polynomial through degree $m$; the degree-$m$ term itself vanishes by parity. HenceTaking the limit proves the full distributional identityThe same calculation includes $m=1$. Starting with the distributional derivative of the logarithmic modulus from part (i), induction yieldsThis identity holds on all of $\mathbb{R}$ as a distributional identity. It is stronger than matching the ordinary derivatives away from zero, which would leave possible differentiated Dirac delta distributions at zero undetermined.

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.