P-adic analysis
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, ''p''-adic analysis is a branch of
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Ma ...
that deals with the
mathematical analysis Analysis is the branch of mathematics dealing with continuous functions, limits, and related theories, such as differentiation, integration, measure, infinite sequences, series, and analytic functions. These theories are usually studied ...
of functions of ''p''-adic numbers. The theory of complex-valued numerical functions on the ''p''-adic numbers is part of the theory of locally compact groups. The usual meaning taken for ''p''-adic analysis is the theory of ''p''-adic-valued functions on spaces of interest. Applications of ''p''-adic analysis have mainly been in
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Ma ...
, where it has a significant role in diophantine geometry and diophantine approximation. Some applications have required the development of ''p''-adic
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defi ...
and
spectral theory In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces. It is a result ...
. In many ways ''p''-adic analysis is less subtle than classical analysis, since the ultrametric inequality means, for example, that convergence of infinite series of ''p''-adic numbers is much simpler. Topological vector spaces over ''p''-adic fields show distinctive features; for example aspects relating to
convexity Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytope ...
and the Hahn–Banach theorem are different.


Important results


Ostrowski's theorem

Ostrowski's theorem, due to Alexander Ostrowski (1916), states that every non-trivial
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), ...
on the
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ra ...
s Q is equivalent to either the usual real absolute value or a -adic absolute value.


Mahler's theorem

Mahler's theorem, introduced by Kurt Mahler, expresses continuous ''p''-adic functions in terms of polynomials. In any field of characteristic 0, one has the following result. Let :(\Delta f)(x)=f(x+1)-f(x) be the forward difference operator. Then for
polynomial function In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
s ''f'' we have the Newton series: :f(x)=\sum_^\infty (\Delta^k f)(0), where :=\frac is the ''k''th binomial coefficient polynomial. Over the field of real numbers, the assumption that the function ''f'' is a polynomial can be weakened, but it cannot be weakened all the way down to mere continuity. Mahler proved the following result: Mahler's theorem: If ''f'' is a continuous p-adic-valued function on the ''p''-adic integers then the same identity holds.


Hensel's lemma

Hensel's lemma, also known as Hensel's lifting lemma, named after Kurt Hensel, is a result in
modular arithmetic In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" when reaching a certain value, called the modulus. The modern approach to modular arithmetic was developed by Carl Friedrich Gauss in his boo ...
, stating that if a polynomial equation has a simple root modulo a
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
, then this root corresponds to a unique root of the same equation modulo any higher power of , which can be found by iteratively " lifting" the solution modulo successive powers of . More generally it is used as a generic name for analogues for
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
commutative ring In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not ...
s (including ''p''-adic fields in particular) of the
Newton method In numerical analysis, Newton's method, also known as the Newton–Raphson method, named after Isaac Newton and Joseph Raphson, is a root-finding algorithm which produces successively better approximations to the roots (or zeroes) of a real-va ...
for solving equations. Since ''p''-adic analysis is in some ways simpler than real analysis, there are relatively easy criteria guaranteeing a root of a polynomial. To state the result, let f(x) be a
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exampl ...
with
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the languag ...
(or ''p''-adic integer) coefficients, and let ''m'',''k'' be positive integers such that ''m'' ≤ ''k''. If ''r'' is an integer such that :f(r) \equiv 0 \pmod and f'(r) \not\equiv 0 \pmod then there exists an integer ''s'' such that :f(s) \equiv 0 \pmod and r \equiv s \pmod. Furthermore, this ''s'' is unique modulo ''p''''k''+m, and can be computed explicitly as :s = r + tp^k where t = - \frac \cdot (f'(r)^).


Applications


P-adic quantum mechanics

P-adic quantum mechanics is a relatively recent approach to understanding the nature of fundamental physics. It is the application of p-adic analysis to
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, ...
. The p-adic numbers are an intuitive arithmetic system (but geometrically counterintuitive) that was discovered by German mathematician Kurt Hensel in about 1899 and by German mathematician Ernst Kummer(1810-1893) earlier in elementary form. The closely related adeles and ideles were introduced in the 1930s by
Claude Chevalley Claude Chevalley (; 11 February 1909 – 28 June 1984) was a French mathematician who made important contributions to number theory, algebraic geometry, class field theory, finite group theory and the theory of algebraic groups. He was a fou ...
and
André Weil André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. Th ...
. Their study has now transformed into a major branch of mathematics. They were occasionally applied to the physical sciences, but it wasn't until a publication by the Russian mathematician Volovich in 1987 that the subject was taken seriously in the physics world. There are now hundreds of research articles on the subject,V. S. Vladimirov, I.V. Volovich, and E.I. Zelenov ''P-adic Analysis and Mathematical Physics'', (World Scientific, Singapore 1994)L. Brekke and P. G. O. Freund, ''P-adic numbers in physics'', Phys. Rep. 233, 1-66(1993) along with international journals as well. There are two main approaches to the subject. The first considers particles in a p-adic potential well, and the goal is to find solutions with smoothly varying complex-valued wavefunctions. Here the solutions are to have a certain amount of familiarity from ordinary life. The second considers particles in p-adic potential wells, and the goal is to find p-adic valued wavefunctions. In this case, the physical interpretation is more difficult. Yet the math often exhibits striking characteristics, therefore people continue to explore it. The situation was summed up in 2005 by one scientist as follows: "I simply cannot think of all this as a sequence of amusing accidents and dismiss it as a 'toy model'. I think more work on this is both needed and worthwhile."


Local–global principle

Helmut Hasse Helmut Hasse (; 25 August 1898 – 26 December 1979) was a German mathematician working in algebraic number theory, known for fundamental contributions to class field theory, the application of ''p''-adic numbers to local class field theory and ...
's local–global principle, also known as the Hasse principle, is the idea that one can find an integer solution to an equation by using the
Chinese remainder theorem In mathematics, the Chinese remainder theorem states that if one knows the remainders of the Euclidean division of an integer ''n'' by several integers, then one can determine uniquely the remainder of the division of ''n'' by the product of the ...
to piece together solutions
modulo In computing, the modulo operation returns the remainder or signed remainder of a division, after one number is divided by another (called the '' modulus'' of the operation). Given two positive numbers and , modulo (often abbreviated as ) is ...
powers of each different
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
. This is handled by examining the equation in the completions of the
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ra ...
s: the
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
s and the ''p''-adic numbers. A more formal version of the Hasse principle states that certain types of equations have a rational solution
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bic ...
they have a solution in the
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
s ''and'' in the ''p''-adic numbers for each prime ''p''.


See also

* P-adic number *
P-adic Teichmüller theory In mathematics, ''p''-adic Teichmüller theory describes the "uniformization" of ''p''-adic curves and their moduli, generalizing the usual Teichmüller theory that describes the uniformization of Riemann surfaces and their moduli. It was intro ...
* Locally compact space * Real analysis *
Complex analysis Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), functions of complex numbers. It is helpful in many branches of mathemati ...
* Hypercomplex analysis *
Harmonic analysis Harmonic analysis is a branch of mathematics concerned with the representation of functions or signals as the superposition of basic waves, and the study of and generalization of the notions of Fourier series and Fourier transforms (i.e. an ex ...


References


Further reading

* * * *
preprint
*A course in p-adic analysis, Alain Robert, Springer, 2000, *Ultrametric Calculus: An Introduction to P-Adic Analysis, W. H. Schikhof, Cambridge University Press, 2007, *P-adic Differential Equations, Kiran S. Kedlaya, Cambridge University Press, 2010, {{DEFAULTSORT:P-Adic Analysis Number theory Fields of mathematical analysis p-adic numbers