“j-Function”的概念、定义、习题解题方法及翻译-数学辞典

单词

j-Function

释义

j-Function

The -function is defined as

(1)

where

(2)

is Klein's Absolute Invariant,

the Elliptic Lambda Function

(3)

and

a Theta Function. This function can also be specified in terms of the Weber Functions

, and

			(4)
			(5)
			(6)
			(7)
			(8)

(Weber 1902, p. 179; Atkin and Morain 1993).

The -function is a Meromorphic function on the upper half of the Complex Plane which is invariant withrespect to the Special Linear Group . It has a Fourier Series

(9)

for the Nome

(10)

with

. The coefficients in the expansion of the

-function satisfy:

: 1. for and ,
: 2. all s are Integers with fairly limited growth with respect to , and
: 3. is an Algebraic Number, sometimes a Rational Number, and sometimes even an Integer at certain very special values of (or ).

The latter result is the end result of the massive and beautiful theory of Complex multiplicationand the first step of Kronecker's

so-called ``Jugendtraum.''

Then all of the Coefficients in the Laurent Series



	(11)

(Sloane's A000521) are Positive Integers (Rankin 1977). Let

be a Positive SquarefreeInteger, and define

(12)

Then the Nome is


			(13)

It then turns out that

is an Algebraic Integer of degree

, where

is the Class Number ofthe Discriminant

of the Quadratic Field

(Silverman 1986). The first term in the Laurent Series is then

,and all the later terms are Powers of

, which are small numbers. The larger

, the faster theseries converges. If

, then

is a Algebraic Integer of degree 1, i.e., just a plain Integer. Furthermore, the Integer is a perfect Cube.

The numbers whose Laurent Series give Integers are those with Class Number 1. But theseare precisely the Heegner Numbers , , , , , , , , . Thegreater (in Absolute Value) the Heegner Number , the closer to an Integer is the expression, since the initial term in is the largest and subsequent terms are the smallest. The bestapproximations with are therefore

			(14)
			(15)
			(16)

The exact values of

corresponding to the Heegner Numbers are

			(17)
			(18)
			(19)
			(20)
			(21)
			(22)
			(23)
			(24)
			(25)

(The number 5280 is particularly interesting since it is also the number of feet

in amile.

) The Almost Integer generated by the last of these,

(corresponding to the field

and the Imaginary quadratic field ofmaximal discriminant), is known as the Ramanujan Constant.

, , and are also Almost Integers. Thesecorrespond to binary quadratic forms with discriminants , , and , all of which have Class Number twoand were noted by Ramanujan (Berndt 1994).

It turns out that the -function also is important in the Classification Theorem for finite simple groups, andthat the factors of the orders of the Sporadic Groups, including the celebrated MonsterGroup, are also related.

See also Almost Integer, Klein's Absolute Invariant, Weber Functions

References

Atkin, A. O. L. and Morain, F. ``Elliptic Curves and Primality Proving.'' Math. Comput. 61, 29-68, 1993.

Berndt, B. C. Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, pp. 90-91, 1994.

Borwein, J. M. and Borwein, P. B. Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, pp. 117-118, 1987.

Cohn, H. Introduction to the Construction of Class Fields. New York: Dover, p. 73, 1994.

Conway, J. H. and Guy, R. K. ``The Nine Magic Discriminants.'' In The Book of Numbers. New York: Springer-Verlag, pp. 224-226, 1996.

Morain, F. ``Implementation of the Atkin-Goldwasser-Kilian Primality Testing Algorithm.'' Rapport de Récherche 911, INRIA, Oct. 1988.

Rankin, R. A. Modular Forms. New York: Wiley, 1985.

Rankin, R. A. Modular Forms and Functions. Cambridge, England: Cambridge University Press, p. 199, 1977.

Serre, J. P. Cours d'arithmétique. Paris: Presses Universitaires de France, 1970.

Silverman, J. H. The Arithmetic of Elliptic Curves. New York: Springer-Verlag, p. 339, 1986.

Sloane, N. J. A. SequenceA000521/M5477in ``An On-Line Version of the Encyclopedia of Integer Sequences.''http://www.research.att.com/~njas/sequences/eisonline.html and Sloane, N. J. A. and Plouffe, S.The Encyclopedia of Integer Sequences. San Diego: Academic Press, 1995.

Weber, H. Lehrbuch der Algebra, Vols. I-II. New York: Chelsea, 1979.

Weisstein, E. W. ``-Function.'' Mathematica notebook jFunction.m.

随便看

数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。