p-adic exponential function

p-adic exponential function

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.

Contents

Definition

The usual exponential function on C is defined by the infinite series

\exp(z)=\sum_{n=0}^\infty \frac{z^n}{n!}.

Entirely analogously, one defines the exponential function on Cp, the completion of the algebraic closure of Qp, by

\exp_p(z)=\sum_{n=0}^\infty\frac{z^n}{n!}.

However, unlike exp which converges on all of C, expp only converges on the disc

| 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! in the denominator of each summand tends to make them very large p-adically, rather a small value of z is needed in the numerator.

p-adic logarithm function

The power series

\log(1+x)=\sum_{n=1}^\infty \frac{(-1)^{n+1}x^n}{n},

converges for x in Cp satisfying |x|p < 1 and so defines the p-adic logarithm function logp(z) for |z − 1|p < 1 satisfying the usual property logp(zw) = logpz + logpw. The function logp can be extended to all of C ×
p
 
(the set of nonzero elements of Cp) by imposing that it continue to satisfy this last property and setting logp(p) = 0. Specifically, every element w of C ×
p
 
can be written as w = pr·ζ·z with r a rational number, ζ a root of unity, and |z − 1|p < 1,[1] in which case logp(w) = logp(z).[2] This function on C ×
p
 
is sometimes called the Iwasawa logarithm to emphasize the choice of logp(p) = 0. In fact, there is an extension of the logarithm from |z − 1|p < 1 to all of C ×
p
 
for each choice of logp(p) in Cp.[3]

Properties

If z and w are both in the radius of convergence for expp, then their sum is too and we have the usual addition formula: expp(z + w) = expp(z)expp(w).

Similarly if z and w are nonzero elements of Cp then logp(zw) = logpz + logpw.

And for suitable z, so that everything is defined, we have expp(logp(z)) = z and logp(expp(z)) = z.

The roots of the Iwasawa logarithm logp(z) are exactly the elements of Cp of the form pr·ζ where r is a rational number and ζ is a root of unity.[4]

Note that there is no analogue in Cp of Euler's identity, e2πi = 1. This is a corollary of Strassmann's theorem.

Another major difference to the situation in C is that the domain of convergence of expp is much smaller than that of logp. A modified exponential function — the Artin–Hasse exponential — can be used instead which converges on |z|p < 1.

Notes

  1. ^ Cohen 2007, Proposition 4.4.44
  2. ^ In factoring w as above, there is a choice of a root involved in writing pr since r is rational; however, different choices differ only by multiplication by a root of unity, which gets absorbed into the factor ζ.
  3. ^ Cohen 2007, §4.4.11
  4. ^ Cohen 2007, Proposition 4.4.45

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Exponential function — The natural exponential function y = ex In mathematics, the exponential function is the function ex, where e is the number (approximately 2.718281828) such that the function ex is its own derivative …   Wikipedia

  • Theta function — heta 1 with u = i pi z and with nome q = e^{i pi au}= 0.1 e^{0.1 i pi}. Conventions are (mathematica): heta 1(u;q) = 2 q^{1/4} sum {n=0}^infty ( 1)^n q^{n(n+1)} sin((2n+1)u) this is: heta 1(u;q) = sum {n= infty}^{n=infty} ( 1)^{n 1/2}… …   Wikipedia

  • Zonal spherical function — In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K (often a maximal compact subgroup) that arises as the matrix coefficient of a K invariant vector in an… …   Wikipedia

  • Artin–Hasse exponential — In mathematics, the Artin–Hasse exponential, named after Emil Artin and Helmut Hasse, is the power series given by Properties The coefficients are p integral; in other words, their denominators are not divisible by p. This follows from Dwork s… …   Wikipedia

  • Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

  • Logarithm — The graph of the logarithm to base 2 crosses the x axis (horizontal axis) at 1 and passes through the points with coordinates (2, 1), (4, 2), and (8, 3) …   Wikipedia

  • Lie group — Lie groups …   Wikipedia

  • Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… …   Wikipedia

  • Methods of computing square roots — There are several methods for calculating the principal square root of a nonnegative real number. For the square roots of a negative or complex number, see below. Contents 1 Rough estimation 2 Babylonian method 2.1 Example …   Wikipedia

  • List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”