|
Petersson Trace Formula
In analytic number theory, the Petersson trace formula is a kind of orthogonality relation between coefficients of a holomorphic modular form. It is a specialization of the more general Kuznetsov trace formula. In its simplest form the Petersson trace formula is as follows. Let \mathcal be an orthonormal basis of S_k(\Gamma(1)), the space of cusp forms of weight k>2 on SL_2(\mathbb). Then for any positive integers m,n we have : \frac \sum_ \bar(m) \hat(n) = \delta_ + 2\pi i^ \sum_\frac J_\left(\frac\right), where \delta is the Kronecker delta function, S is the Kloosterman sum and J is the Bessel function of the first kind. References [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Number Theory
In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Dirichlet ''L''-functions to give the first proof of Dirichlet's theorem on arithmetic progressions. It is well known for its results on prime numbers (involving the Prime Number Theorem and Riemann zeta function) and additive number theory (such as the Goldbach conjecture and Waring's problem). Branches of analytic number theory Analytic number theory can be split up into two major parts, divided more by the type of problems they attempt to solve than fundamental differences in technique. *Multiplicative number theory deals with the distribution of the prime numbers, such as estimating the number of primes in an interval, and includes the prime number theorem and Dirichlet's theorem on primes in arithmetic progressions. *Additive number th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Form
In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the Group action (mathematics), group action of the modular group, and also satisfying a growth condition. The theory of modular forms therefore belongs to complex analysis but the main importance of the theory has traditionally been in its connections with number theory. Modular forms appear in other areas, such as algebraic topology, sphere packing, and string theory. A modular function is a function that is invariant with respect to the modular group, but without the condition that be Holomorphic function, holomorphic in the upper half-plane (among other requirements). Instead, modular functions are Meromorphic function, meromorphic (that is, they are holomorphic on the complement of a set of isolated points, which are poles of the function). Modular form theory is a special case of the more general theory of automorphic form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kuznetsov Trace Formula
In analytic number theory, the Kuznetsov trace formula is an extension of the Petersson trace formula. The Kuznetsov or ''relative trace'' formula connects Kloosterman sums at a deep level with the spectral theory of automorphic forms. Originally this could have been stated as follows. Let : g: \mathbb\rightarrow \mathbb be a sufficiently " well behaved" function. Then one calls identities of the following type ''Kuznetsov trace formula'': : \sum_ c^ K(m,n,c) g\left(\frac\right) = \text\ +\ \text. The integral transform part is some integral transform of ''g'' and the spectral part is a sum of Fourier coefficients, taken over spaces of holomorphic and non-holomorphic modular forms twisted with some integral transform of ''g''. The Kuznetsov trace formula was found by Kuznetsov while studying the growth of weight zero automorphic functions. Using estimates on Kloosterman sums he was able to derive estimates for Fourier coefficients of modular forms in cases where Pierre Del ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthonormal Basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, the standard basis for a Euclidean space \R^n is an orthonormal basis, where the relevant inner product is the dot product of vectors. The image of the standard basis under a rotation or reflection (or any orthogonal transformation) is also orthonormal, and every orthonormal basis for \R^n arises in this fashion. For a general inner product space V, an orthonormal basis can be used to define normalized orthogonal coordinates on V. Under these coordinates, the inner product becomes a dot product of vectors. Thus the presence of an orthonormal basis reduces the study of a finite-dimensional inner product space to the study of \R^n under dot product. Every finite-dimensional inner product space has an orthonormal basis, which may be ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kronecker Delta Function
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 &\text i=j. \end or with use of Iverson brackets: \delta_ = =j, where the Kronecker delta is a piecewise function of variables and . For example, , whereas . The Kronecker delta appears naturally in many areas of mathematics, physics and engineering, as a means of compactly expressing its definition above. In linear algebra, the identity matrix has entries equal to the Kronecker delta: I_ = \delta_ where and take the values , and the inner product of vectors can be written as \mathbf\cdot\mathbf = \sum_^n a_\delta_b_ = \sum_^n a_ b_. Here the Euclidean vectors are defined as -tuples: \mathbf = (a_1, a_2, \dots, a_n) and \mathbf= (b_1, b_2, ..., b_n) and the last step is obtained by using the values of the Kronecker delta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kloosterman Sum
In mathematics, a Kloosterman sum is a particular kind of exponential sum. They are named for the Dutch mathematician Hendrik Kloosterman, who introduced them in 1926 when he adapted the Hardy–Littlewood circle method to tackle a problem involving positive definite diagonal quadratic forms in four as opposed to five or more variables, which he had dealt with in his dissertation in 1924. Let be natural numbers. Then :K(a,b;m)=\sum_ e^. Here ''x*'' is the inverse of modulo . Context The Kloosterman sums are a finite ring analogue of Bessel functions. They occur (for example) in the Fourier expansion of modular forms. There are applications to mean values involving the Riemann zeta function, primes in short intervals, primes in arithmetic progressions, the spectral theory of automorphic functions and related topics. Properties of the Kloosterman sums *If or then the Kloosterman sum reduces to the Ramanujan sum. * depends only on the residue class of and modulo . Furtherm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bessel Function
Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions of Bessel's differential equation x^2 \frac + x \frac + \left(x^2 - \alpha^2 \right)y = 0 for an arbitrary complex number \alpha, the ''order'' of the Bessel function. Although \alpha and -\alpha produce the same differential equation, it is conventional to define different Bessel functions for these two values in such a way that the Bessel functions are mostly smooth functions of \alpha. The most important cases are when \alpha is an integer or half-integer. Bessel functions for integer \alpha are also known as cylinder functions or the cylindrical harmonics because they appear in the solution to Laplace's equation in cylindrical coordinates. Spherical Bessel functions with half-integer \alpha are obtained when the Helmholtz equation is solved in spherical coordinates. Applications of Bessel functions The Bessel function is a generalizat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henryk Iwaniec
Henryk Iwaniec (born October 9, 1947) is a Polish-American mathematician, and since 1987 a professor at Rutgers University. Background and education Iwaniec studied at the University of Warsaw, where he got his PhD in 1972 under Andrzej Schinzel. He then held positions at the Institute of Mathematics of the Polish Academy of Sciences until 1983 when he left Poland. He held visiting positions at the Institute for Advanced Study, University of Michigan, and University of Colorado Boulder before being appointed Professor of Mathematics at Rutgers University. He is a citizen of both Poland and the United States. He and mathematician Tadeusz Iwaniec are twin brothers. Work Iwaniec studies both sieve methods and deep complex-analytic techniques, with an emphasis on the theory of automorphic forms and harmonic analysis. In 1997, Iwaniec and John Friedlander proved that there are infinitely many prime numbers of the form . Results of this strength had previously been seen as co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Studies In Mathematics
Graduate Studies in Mathematics (GSM) is a series of graduate-level textbooks in mathematics published by the American Mathematical Society (AMS). The books in this series are published ihardcoverane-bookformats. List of books *1 ''The General Topology of Dynamical Systems'', Ethan Akin (1993, ) *2 ''Combinatorial Rigidity'', Jack Graver, Brigitte Servatius, Herman Servatius (1993, ) *3 ''An Introduction to Gröbner Bases'', William W. Adams, Philippe Loustaunau (1994, ) *4 ''The Integrals of Lebesgue, Denjoy, Perron, and Henstock'', Russell A. Gordon (1994, ) *5 ''Algebraic Curves and Riemann Surfaces'', Rick Miranda (1995, ) *6 ''Lectures on Quantum Groups'', Jens Carsten Jantzen (1996, ) *7 ''Algebraic Number Fields'', Gerald J. Janusz (1996, 2nd ed., ) *8 ''Discovering Modern Set Theory. I: The Basics'', Winfried Just, Martin Weese (1996, ) *9 ''An Invitation to Arithmetic Geometry'', Dino Lorenzini (1996, ) *10 ''Representations of Finite and Compact Groups'', Barry Simon (199 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorems In Analytic Number Theory
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorems In Analytic Number Theory")