|
Mahler's Theorem
In mathematics, Mahler's theorem, introduced by , expresses any continuous ''p''-adic function as an infinite series of certain special polynomials. It is the ''p''-adic counterpart to the Stone-Weierstrass theorem for continuous real-valued functions on a closed interval. Statement Let (\Delta f)(x)=f(x+1)-f(x) be the forward difference operator. Then for any ''p''-adic function f: \mathbb_p \to \mathbb_p, Mahler's theorem states that f is continuous if and only if its Newton series converges everywhere to f, so that for all x \in \mathbb_p we have :f(x)=\sum_^\infty (\Delta^n f)(0), where :=\frac is the nth binomial coefficient polynomial. Here, the nth forward difference is computed by the binomial transform, so that (\Delta^n f)(0) = \sum^n_ (-1)^ \binom f(k).Moreover, we have that f is continuous if and only if the coefficients (\Delta^n f)(0) \to 0 in \mathbb_p as n \to \infty. It is remarkable that as weak an assumption as continuity is enough in the ''p''-adic setti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-adic Number
In number theory, given a prime number , the -adic numbers form an extension of the rational numbers which is distinct from the real numbers, though with some similar properties; -adic numbers can be written in a form similar to (possibly infinite) decimals, but with digits based on a prime number rather than ten, and extending to the left rather than to the right. For example, comparing the expansion of the rational number \tfrac15 in base vs. the -adic expansion, \begin \tfrac15 &= 0.01210121\ldots \ (\text 3) &&= 0\cdot 3^0 + 0\cdot 3^ + 1\cdot 3^ + 2\cdot 3^ + \cdots \\ mu\tfrac15 &= \dots 121012102 \ \ (\text) &&= \cdots + 2\cdot 3^3 + 1 \cdot 3^2 + 0\cdot3^1 + 2 \cdot 3^0. \end Formally, given a prime number , a -adic number can be defined as a series s=\sum_^\infty a_i p^i = a_k p^k + a_ p^ + a_ p^ + \cdots where is an integer (possibly negative), and each a_i is an integer such that 0\le a_i < p. A -adic integer is a -adic number such that < ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinite Series
In mathematics, a series is, roughly speaking, an addition of infinitely many terms, one after the other. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathematics, even for studying finite structures in combinatorics through generating functions. The mathematical properties of infinite series make them widely applicable in other quantitative disciplines such as physics, computer science, statistics and finance. Among the Ancient Greeks, the idea that a potentially infinite summation could produce a finite result was considered paradoxical, most famously in Zeno's paradoxes. Nonetheless, infinite series were applied practically by Ancient Greek mathematicians including Archimedes, for instance in the quadrature of the parabola. The mathematical side of Zeno's paradoxes was resolved using the concept of a limit during the 17th century, especially through the early calculus of Isaac Newton. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomials
In mathematics, a polynomial is a mathematical expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication and exponentiation to nonnegative integer powers, and has a finite number of terms. An example of a polynomial of a single indeterminate is . An example with three indeterminates is . Polynomials appear in many areas of mathematics and science. For example, they are used to form polynomial equations, which encode a wide range of problems, from elementary word problems to complicated scientific problems; they are used to define polynomial functions, which appear in settings ranging from basic chemistry and physics to economics and social science; and they are used in calculus and numerical analysis to approximate other functions. In advanced mathematics, polynomials are used to construct polynomial rings and algebraic varieties, which are central concepts in algebra and a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Difference Operator
In mathematics, a recurrence relation is an equation according to which the nth term of a sequence of numbers is equal to some combination of the previous terms. Often, only k previous terms of the sequence appear in the equation, for a parameter k that is independent of n; this number k is called the ''order'' of the relation. If the values of the first k numbers in the sequence have been given, the rest of the sequence can be calculated by repeatedly applying the equation. In ''linear recurrences'', the th term is equated to a linear function of the k previous terms. A famous example is the recurrence for the Fibonacci numbers, F_n=F_+F_ where the order k is two and the linear function merely adds the two previous terms. This example is a linear recurrence with constant coefficients, because the coefficients of the linear function (1 and 1) are constants that do not depend on n. For these recurrences, one can express the general term of the sequence as a closed-form expression of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Newton Series
A finite difference is a mathematical expression of the form . Finite differences (or the associated difference quotients) are often used as approximations of derivatives, such as in numerical differentiation. The difference operator, commonly denoted \Delta, is the operator that maps a function to the function \Delta /math> defined by \Delta x) = f(x+1)-f(x). A difference equation is a functional equation that involves the finite difference operator in the same way as a differential equation involves derivatives. There are many similarities between difference equations and differential equations. Certain recurrence relations can be written as difference equations by replacing iteration notation with finite differences. In numerical analysis, finite differences are widely used for approximating derivatives, and the term "finite difference" is often used as an abbreviation of "finite difference approximation of derivatives". Finite differences were introduced by Brook Taylor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binomial Coefficient
In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the term in the polynomial expansion of the binomial power ; this coefficient can be computed by the multiplicative formula : \binom nk = \frac, which using factorial notation can be compactly expressed as : \binom = \frac. For example, the fourth power of is : \begin (1 + x)^4 &= \tbinom x^0 + \tbinom x^1 + \tbinom x^2 + \tbinom x^3 + \tbinom x^4 \\ &= 1 + 4x + 6 x^2 + 4x^3 + x^4, \end and the binomial coefficient \tbinom =\tfrac = \tfrac = 6 is the coefficient of the term. Arranging the numbers \tbinom, \tbinom, \ldots, \tbinom in successive rows for gives a triangular array called Pascal's triangle, satisfying the recurrence relation : \binom = \binom + \binom . The binomial coefficients occur in many areas of mathematics, and espe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binomial Transform
In combinatorics, the binomial transform is a sequence transformation (i.e., a transform of a sequence) that computes its forward differences. It is closely related to the Euler transform, which is the result of applying the binomial transform to the sequence associated with its ordinary generating function. Definition The binomial transform, , of a sequence, , is the sequence defined by s_n = \sum_^n (-1)^k \binom a_k. Formally, one may write s_n = (Ta)_n = \sum_^n T_ a_k for the transformation, where is an infinite-dimensional operator with matrix elements . The transform is an involution, that is, TT = 1 or, using index notation, \sum_^\infty T_ T_ = \delta_ where \delta_ is the Kronecker delta. The original series can be regained by a_n=\sum_^n (-1)^k \binom s_k. The binomial transform of a sequence is just the -th forward differences of the sequence, with odd differences carrying a negative sign, namely: \begin s_0 &= a_0 \\ s_1 &= - (\Delta a)_0 = -a_1+a_0 \\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with real or complex coefficients has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carlson's Theorem
In mathematics, in the area of complex analysis, Carlson's theorem is a uniqueness theorem which was discovered by Fritz David Carlson. Informally, it states that two different analytic functions which do not grow very fast at infinity can not coincide at the integers. The theorem may be obtained from the Phragmén–Lindelöf theorem, which is itself an extension of the maximum-modulus theorem. Carlson's theorem is typically invoked to defend the uniqueness of a Newton series expansion. Carlson's theorem has generalized analogues for other expansions. Statement Assume that satisfies the following three conditions. The first two conditions bound the growth of at infinity, whereas the third one states that vanishes on the non-negative integers. # is an entire function of exponential type, meaning that , f(z), \leq C e^, \quad z \in \mathbb for some real values , . # There exists such that , f(iy), \leq C e^, \quad y \in \mathbb # for every non-negative integer . Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
