|
Apéry's Theorem
In mathematics, Apéry's theorem is a result in number theory that states the Apéry's constant ζ(3) is irrational. That is, the number :\zeta(3) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots = 1.2020569\ldots cannot be written as a fraction p/q where ''p'' and ''q'' are integers. The theorem is named after Roger Apéry. The special values of the Riemann zeta function at even integers 2n (n > 0) can be shown in terms of Bernoulli numbers to be irrational, while it remains open whether the function's values are in general rational or not at the odd integers 2n+1 (n > 1) (though they are conjectured to be irrational). History Leonhard Euler proved that if ''n'' is a positive integer then :\frac + \frac + \frac + \frac + \cdots = \frac\pi^ for some rational number p/q. Specifically, writing the infinite series on the left as \zeta(2n), he showed :\zeta(2n) = (-1)^\frac where the B_n are the rational Bernoulli numbers. Once it was proved that \pi^n is always irrational, thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hendrik Lenstra
Hendrik Willem Lenstra Jr. (born 16 April 1949, Zaandam) is a Dutch mathematician. Biography Lenstra received his doctorate from the University of Amsterdam in 1977 and became a professor there in 1978. In 1987 he was appointed to the faculty of the University of California, Berkeley; starting in 1998, he divided his time between Berkeley and the University of Leiden, until 2003, when he retired from Berkeley to take a full-time position at Leiden. Three of his brothers, Arjen Lenstra, Andries Lenstra, and Jan Karel Lenstra, are also mathematicians. Jan Karel Lenstra is the former director of the Netherlands Centrum Wiskunde & Informatica (CWI). Hendrik Lenstra was the Chairman of the Program Committee of the International Congress of Mathematicians in 2010. Scientific contributions Lenstra has worked principally in computational number theory. He is well known for: * Co-discovering of the Lenstra–Lenstra–Lovász lattice basis reduction algorithm (in 1982); * Developing a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yuri Valentinovich Nesterenko
Yuri Valentinovich Nesterenko (russian: link=no, Ю́рий Валенти́нович Нестере́нко; born 5 December 1946 in Kharkov, USSR, now Ukraine) is a Soviet and Russian mathematician who has written papers in algebraic independence theory and transcendental number theory. In 1997 he was awarded the Ostrowski Prize for his proof that the numbers π and ''e''π are algebraically independent. In fact, he proved the stronger result: * the numbers π, ''e''π, and Γ(1/4) are algebraically independent over Q. * the numbers π, e^, and Γ(1/3) are algebraically independent over Q. * for all positive integers ''n'', the numbers π, e^ are algebraically independent over Q. He is a professor at Moscow State University, where he completed the mechanical-mathematical program in 1969, then the doctorate program (Soviet habilitation) in 1973, became a professor of the Number Theory Department in 1992. He studied under Andrei Borisovich Shidlovskii. Nesterenko's student ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wadim Zudilin
Wadim Zudilin (Вадим Валентинович Зудилин) is a Russian mathematician and number theory, number theorist who is active in studying Hypergeometric series, hypergeometric functions and zeta constants. He studied under Yuri Valentinovich Nesterenko, Yuri V. Nesterenko and worked at Moscow State University, the Steklov Institute of Mathematics, the Max Planck Institute for Mathematics and the University of Newcastle, Australia. He now works at the Radboud University Nijmegen, Radboud University Nijmegen, the Netherlands. He has reproved Apéry's theorem that ζ(3) is irrational, and expanded it. Zudilin proved that at least one of the four numbers ζ(5), ζ(7), ζ(9), or ζ(11) is irrational. For that accomplishment he won the Distinguished Award of the G. H. Hardy, Hardy-Srinivasa Ramanujan, Ramanujan Society in 2001. With Doron Zeilberger, Zudilin improved upper bound of irrationality measure for ''π'', which as of November 2022 is the current best estimate. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof By Contradiction
In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Proof by contradiction is also known as indirect proof, proof by assuming the opposite, and ''reductio ad impossibile''. It is an example of the weaker logical refutation ''reductio ad absurdum''. A mathematical proof employing proof by contradiction usually proceeds as follows: #The proposition to be proved is ''P''. #We assume ''P'' to be false, i.e., we assume ''¬P''. #It is then shown that ''¬P'' implies falsehood. This is typically accomplished by deriving two mutually contradictory assertions, ''Q'' and ''¬Q'', and appealing to the Law of noncontradiction. #Since assuming ''P'' to be false leads to a contradiction, it is concluded that ''P'' is in fact true. An important special case is the existence proof by contradiction: in order to demonstrate the existence of an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hadjicostas's Formula
In mathematics, Hadjicostas's formula is a formula relating a certain double integral to values of the gamma function and the Riemann zeta function. It is named after Petros Hadjicostas. Statement Let ''s'' be a complex number with ''s'' ≠ -1 and Re(''s'') > −2. Then :\int_0^1\int_0^1 \frac(-\log(xy))^s\,dx\,dy=\Gamma(s+2)\left(\zeta(s+2)-\frac\right). Here Γ is the Gamma function and ζ is the Riemann zeta function. Background The first instance of the formula was proved and used by Frits Beukers in his 1978 paper giving an alternative proof of Apéry's theorem. He proved the formula when ''s'' = 0, and proved an equivalent formulation for the case ''s'' = 1. This led Petros Hadjicostas to conjecture the above formula in 2004, and within a week it had been proven by Robin Chapman. He proved the formula holds when Re(''s'') > −1, and then extended the result by analytic continuation to get the full result. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shifted Legendre Polynomials
In physical science and mathematics, Legendre polynomials (named after Adrien-Marie Legendre, who discovered them in 1782) are a system of complete and orthogonal polynomials, with a vast number of mathematical properties, and numerous applications. They can be defined in many ways, and the various definitions highlight different aspects as well as suggest generalizations and connections to different mathematical structures and physical and numerical applications. Closely related to the Legendre polynomials are associated Legendre polynomials, Legendre functions, Legendre functions of the second kind, and associated Legendre functions. Definition by construction as an orthogonal system In this approach, the polynomials are defined as an orthogonal system with respect to the weight function w(x) = 1 over the interval 1,1/math>. That is, P_n(x) is a polynomial of degree n, such that \int_^1 P_m(x) P_n(x) \,dx = 0 \quad \text n \ne m. With the additional standardization co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral
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 ..., an integral assigns numbers to functions in a way that describes Displacement (geometry), displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with Derivative, differentiation, integration is a fundamental, essential operation of calculus,Integral calculus is a very well established mathematical discipline for which there are many sources. See and , for example. and serves as a tool to solve problems in mathematics and physics involving the area of an arbitrary shape, the length of a curve, and the volume of a solid, among others. The integrals enumerated here are those termed definite integrals, which can be int ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frits Beukers
Frits Beukers () (born 1953, Ankara) is a Dutch mathematician, who works on number theory and hypergeometric functions. In 1979 Beukers received his PhD at Leiden University under the direction of Robert Tijdeman with thesis ''The generalized Ramanujan–Nagell Equation'', published in ''Acta Arithmetica'', vol. 38, 1980/1981. From 1979 to 1980 he was a visiting scholar at the Institute for Advanced Study. He became a professor in Leiden and in the 2000s at Utrecht University. Beukers works on questions of transcendence and irrationality in number theory, and on other topics. In connection with the famous proof by Roger Apéry (1978) on the irrationality of the values of the Riemann zeta function evaluated at the points 2 and 3, Beukers gave a much simpler alternate proof using Legendre polynomials. He also published on questions in mechanics about dynamical system In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the tim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called the ''length'' of the sequence. Unlike a set, the same elements can appear multiple times at different positions in a sequence, and unlike a set, the order does matter. Formally, a sequence can be defined as a function from natural numbers (the positions of elements in the sequence) to the elements at each position. The notion of a sequence can be generalized to an indexed family, defined as a function from an ''arbitrary'' index set. For example, (M, A, R, Y) is a sequence of letters with the letter 'M' first and 'Y' last. This sequence differs from (A, R, M, Y). Also, the sequence (1, 1, 2, 3, 5, 8), which contains the number 1 at two different positions, is a valid sequence. Sequences can be ''finite'', as in these examples, or ''infi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coprime
In mathematics, two integers and are coprime, relatively prime or mutually prime if the only positive integer that is a divisor of both of them is 1. Consequently, any prime number that divides does not divide , and vice versa. This is equivalent to their greatest common divisor (GCD) being 1. One says also '' is prime to '' or '' is coprime with ''. The numbers 8 and 9 are coprime, despite the fact that neither considered individually is a prime number, since 1 is their only common divisor. On the other hand, 6 and 9 are not coprime, because they are both divisible by 3. The numerator and denominator of a reduced fraction are coprime, by definition. Notation and testing Standard notations for relatively prime integers and are: and . In their 1989 textbook ''Concrete Mathematics'', Ronald Graham, Donald Knuth, and Oren Patashnik proposed that the notation a\perp b be used to indicate that and are relatively prime and that the term "prime" be used instead of coprime (as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
