How to write a p-adic exponent b^k as a Power series in k ?
Let $b$ be p-adic number, we write $b$ as a Power series in $p$ with a given precison. Is It possible to write $b^k$ as a Power series in $k$, with $k$ an integer ? An example : Let $\gamma_1$ and $\gamma_2$ be the 3-adic unit roots of the quadratic equations $x^2+x+3=0$ and $x^2+2x+3=0$ respectively. Let $k$ be an integer. Let
$$c(k) = \frac{\gamma_1^k}{\gamma_1^2 -3} + \frac{\gamma_2^k}{\gamma_2^2 -3} + 1$$
The problem is to show that
$$v_3(c(k) - 9(-1+4k^2)-27(k^3 + k^4))\geq 4.\qquad (1)$$
I know how to write $\gamma_1$ and $\gamma_2$ as a 3-adic power series with given precision, but have no idea how to work with the exponent. I've tried (1) for k integer between 1 and 100 and the inequality is true only for even numbers. For odd numbers, the left side of (1) is zero.
The inequality (1) is from the article Numerical experiments on families of modular forms by Coleman, Stevens, and Teitelbaum, page 7.
It looks like
k
is integer, not a p-adic number, is it?No, It is a p-adic number. The formula is an application of Koike`s trace formula.
Then it looks like a duplicate of your previous question https://ask.sagemath.org/question/63231/
Let assume that k is an integer.