On the Image of the $p$-adic Logarithm on Annuli of Principal Units

Let $K$ be a finite extension of ${\mathbb{Q}}_p$, and let ${\mathfrak{m}}_K$ be its maximal ideal. The image of the group of principal units $1+{\mathfrak{m}}_K$ under $p$-adic logarithm plays important role in several areas of number theory. In general, when the ramification index of $K\mathrm{/}{\mathbb{Q}}_p$ is greater or equal to $p-1$, the precise description of this image is not known. For the cyclotomic extension $K={\mathbb{Q}}_p({\zeta }_p)$ of degree $p-1$, it was previously proved in \cite{MAS} that the image of the annulus region $(1+{\mathfrak{m}}_K)\setminus (1+{\mathfrak{m}}_K^2)$ by $p$-adic logarithm is exactly ${\mathfrak{m}}_K^2$. In this paper, we give a self-contained analytic proof of this result based on explicit $p$-adic logarithmic expansions.