In mathematics, particularly p-adic analysis, the p-adic exponential function is a p-adic analogue of the usual exponential function on the complex numbers. As in the complex case, it has an inverse function, named the p-adic logarithm.
Definition The usual exponential function on C {\displaystyle \mathbb {C} } is defined by the infinite series
exp ( z ) = ∑ n = 0 ∞ z n n ! . {\displaystyle \exp(z)=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}.}
Entirely analogously, one defines the exponential function on C p {\displaystyle \mathbb {C} _{p}} , the completion of the algebraic closure of Q p {\displaystyle \mathbb {Q} _{p}} , by
exp p ( z ) = ∑ n = 0 ∞ z n n ! . {\displaystyle \exp _{p}(z)=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}.}
However, unlike exp which converges on all of C {\displaystyle \mathbb {C} } , exp p {\displaystyle \exp _{p}} only converges on the disc
| z | p < p − 1 / ( p − 1 ) . {\displaystyle |z|_{p}<p^{-1/(p-1)}.}
This is because p-adic series converge if and only if the summands tend to zero, and since the n ! {\displaystyle n!} in the denominator of each summand tends to make them large p-adically, a small value of z is needed in the numerator. It follows from Legendre's formula that if | z | p < p − 1 / ( p − 1 ) {\displaystyle |z|_{p}<p^{-1/(p-1)}} then z n n ! {\displaystyle {\frac {z^{n}}{n!}}} tends to 0 {\displaystyle 0} , p-adically. Although the p-adic exponential is sometimes denoted e x {\displaystyle e^{x}} , the number e itself has no p-adic analogue. This is because the power series exp p ( x ) {\displaystyle \exp _{p}(x)} does not converge at x = 1 {\displaystyle x=1} . It is possible to choose a number e {\displaystyle e} to be a p-th root of exp p ( p ) {\displaystyle \exp _{p}(p)} for p ≠ 2 {\displaystyle p\neq 2} , but there are multiple such roots and there is no canonical choice among them.
p-adic logarithm function The power series
log p ( 1 + x ) = ∑ n = 1 ∞ ( − 1 ) n + 1 x n n , {\displaystyle \log _{p}(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}x^{n}}{n}},}
… excerpt ends here. Continue reading the full article.
