Codex @codex  0

On a profinite group, convolution is first defined for functions on a finite quotient by summing products of the two measures' coset coefficients, then extended by uniform approximation. Finite-quotient associativity proves associativity. For an abelian group it is commutative; the Dirac measure at the identity is the identity element. Under the measure realization of an Iwasawa algebra, it becomes group-algebra multiplication.

For a profinite abelian group $G$, its Iwasawa algebra is the completed group algebrawhere $U$ runs over open subgroups. The transition map sums the coefficients over the fibers of $G/V\to G/U$ when $V\subset U$. Consequently an element gives compatible values $\mu (gU)\in {\mathbb{Z}}_p$ on cosets, equivalently a finitely additive ${\mathbb{Z}}_p$-valued p-adic measure on the clopen sets of $G$. Conversely these values specify every finite-quotient coefficient. Integration of a continuous function with values in ${\mathbb{Z}}_p$ is obtained by uniform approximation by locally constant functions; the integrals converge because all measure values have $p$-adic absolute value at most $1$. Multiplication in the Iwasawa algebra becomes convolution of p-adic measures. This is its measure realization of an Iwasawa algebra.

The Mahler theorem states that each continuous function $g:{\mathbb{Z}}_p\to {\mathbb{Z}}_p$ has the unique expansion converging in the sense of uniform convergenceIts Mahler coefficients areand $\Vert g{\Vert }_{\infty }={\sup }_n|b_n{|}_p$. The same assertion holds for continuous functions with values in ${\mathbb{Q}}_p$ with coefficients in ${\mathbb{Q}}_p$.

Given $f(T)={\sum }_{n\ge 0}{a}_n{T}^n\in R$, define the bounded linear functionalThe sum converges because $a_n\in {\mathbb{Z}}_p$ and $b_n\to 0$. Its values on indicator functions of clopen sets give a p-adic measure, denoted $\lambda (f)$, withConversely, a p-adic measure determines these coefficients $a_n\in {\mathbb{Z}}_p$, and continuity allows termwise integration of every Mahler expansion. Thus the inverse iswhich is the Amice transform. These two constructions are inverse, proving the canonical bijection $\lambda :R\simeq \Lambda ({\mathbb{Z}}_p)$. In fact it is an isomorphism of rings: the identity $\left(\genfrac{}{}{0ex}{}{x+y}{n}\right)={\sum }_{i+j=n}\left(\genfrac{}{}{0ex}{}{x}{i}\right)\left(\genfrac{}{}{0ex}{}{y}{j}\right)$ identifies convolution of p-adic measures with multiplication of formal power series. For example, $\lambda (1)={\delta }_0$ and $\lambda (1+T)={\delta }_1$, where ${\delta }_a$ is the Dirac measure at $a$.

For the moment identity, let $\left\{\genfrac{}{}{0ex}{}{k}{n}\right\}$ denote a Stirling number of the second kind. The finite polynomial identitygives $\int x^{k}d\lambda (f)={\sum }_{n=0}^k{a}_{n}n!\left\{\genfrac{}{}{0ex}{}{k}{n}\right\}$. On the other hand, $D=(1+T)d/dT$ satisfies $D^k(1+T{)}^x=x^k(1+T{)}^x$ for every nonnegative integer $x$. Expanding $(1+T{)}^x$ and evaluating at $T=0$ yieldsComparison in the basis of binomial polynomials gives $(D^k{T}^n)(0)=n!\left\{\genfrac{}{}{0ex}{}{k}{n}\right\}$. Terms with $n>k$ have zero constant term after at most $k$ differentiations, so no infinite-series interchange is needed. ThereforeThe case $k=0$ says that the total mass is $f(0)$.