{"id":632,"date":"2024-08-20T13:38:27","date_gmt":"2024-08-20T17:38:27","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/alladik\/?page_id=632"},"modified":"2026-03-19T08:14:52","modified_gmt":"2026-03-19T12:14:52","slug":"mas-7215-spring-2024","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/alladik\/mas-7215-spring-2024\/","title":{"rendered":"MAS 7215 and MAT 6932 – Number Theory – Irrationality, Diophantine Approximations and Transcendence"},"content":{"rendered":"\r\n
\r\n\t
\r\n\t\t
\r\n\t\t\t
\r\n\t\t\t\t\n

MAS 7215 and MAT 6932 – Number Theory – Irrationality, Diophantine Approximations and Transcendence<\/h1>\n\n\n\n\n\n\n
\n

Irrationality, Diophantine Approximations and Transcendence<\/b><\/h3>\n

NOTE: The course is designated as MAS7215 (Section 6571) and
\nMAT 6932 for convenience in enrollment.<\/p>

MWF 7th period (1:55-2:45pm) \u2013 LIT 221 \u2013 FALL 2024 <\/b><\/p>\n

INSTRUCTOR:<\/h3>\n

Krishnaswami Alladi

\n304 Little Hall

\n(352) 294-2290

\nemail: alladik@ufl.edu<\/p>\n

OFFICE HOURS:<\/h3>\n

M and W 9th period (4:05 \u2013 4:55 pm) in LIT 304 and by appointment.<\/p>\n

PREREQUISITES:<\/h3>\n

Undergraduate course in number theory and a course in complex variable theory<\/p>\n

SPECIFIC TOPIC FOR COURSE:<\/h3>\n

Irrationality, Diophantine Approximations and Transcendence<\/p>\n

COURSE DESCRIPTION:<\/h3>\n

\nThe study of irrational numbers dates back to Greek antiquity. Yet the subject remains an active area of research today. Although \u201calmost all\u201d real numbers are irrational, it is very difficult to establish the irrationality of a given number. We will systematically study a variety of techniques which will help in confirming the irrationality of different classes of numbers starting with Dirichlet\u2019s fundamental criterion for irrationality. Following this, we will discuss irrationality criteria utilizing series and product representations of reals due to Engel, Cantor and Sylvester, regular and general continued fraction expansions, and Farey fractions. We will present various proofs of the irrationality of important numbers such as e and pi, and the irrationality of functions like the trigonometric, hyperbolic and the Bessel functions at rational arguments. Next we will take up the study of the closeness of approximation of irrationals by rationals and introduce the concept of irrationality measures. This is the subject of Diophantine approximations.
\nIt will be shown that the truncations of the regular continued fraction expansion of real numbers generate the sequence of \u201cbest approximations\u201d, but it is very difficult to determine the continued fraction expansion of a given irrational.
\nWe will develop methods to obtain efficient irrationality measures. This will involve the use of Legendre polynomials and Pade approximations. An important outcome of this approach is the irrationality of the Riemann zeta function at the odd integer 3 \u2013 a fact long conjectured but only established in 1978. The study of irrationality measures also explains why Pell\u2019s equation such as x2<\/sup> \u2013 2y2<\/sup> = 1 has infinitely many solutions whereas the Thue equation: x3<\/sup> \u2013 2y3<\/sup> = 1 has only finitely many integer solutions. Thus the subject of Diophantine approximations is closely associated with the theory of Diophantine equations. As part of our study of Diophantine approximations, we will include a discussion of uniform distribution and of normal numbers \u2013 numbers whose decimal digits are statistically uniformly distributed. Finally, we will launch the study of transcendental numbers by showing first that e is transcendental, and more generally that the exponential function takes transcendental values at non-zero algebraic arguments. Since exp (i\u03c0)=-1 this result of Lindemann at the end of the 19-th century implies that \u03c0 is transcendental and thereby shows the impossibility of \u201csquaring the circle\u201d \u2013 one of three problems of Greek antiquity. We also hope to discuss measures of transcendence and the transcendence of some fascinating functions (defined by lacunary series) at algebraic arguments.
\nA host of great problems remain unsolved:
\nIs Euler\u2019s constant \u03b3 irrational?
\nAre the values of the Riemann zeta function at the odd integers >3 irrational?
\nWhat is the precise irrationality measure for \u03c0?
\nWe know that \u201calmost all\u201d numbers are normal to all bases, but we do not know a single example of a number whose digit expansions to all integer bases (not just base 10) are normal.
\nThe course will be completely self contained and can be followed by any of our graduate students and those in allied disciplines as well (such as computer science and statistics). I will use my own detailed notes for the course but will give a number of books as references.
\nThe list of topics given above is vast, and I will cover as many of them as time permits and depending on the interest of the audience. My goal is not to race through the topics, but do a thorough discussion at a pace that is comfortable. If there is interest, this course might be extended into Spring 2025 as MAS 7216 and MAT6932\n<\/p>

The course will be self contained and should appeal to any graduate student or advanced undergraduate.<\/p>\n

TEXT:<\/h3>\n

There will be no assigned text. I will use my own notes. A number

\nof texts will be given as references.<\/p>\n

GRADING:<\/h3>\n

Grades will be based on homework that will be assigned periodically.<\/p>\n

ACCOMODATION FOR STUDENTS WITH DISABILITIES:<\/h3>\n

Students requesting classroom accommodation must first register with the Dean of Students Office. The Dean of Students Office will provide documentation to the student who must then provide this documentation to the Instructor when requesting accommodation.<\/p><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t<\/div>\r\n<\/section>\r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":283,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-632","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/pages\/632","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/users\/283"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/comments?post=632"}],"version-history":[{"count":4,"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/pages\/632\/revisions"}],"predecessor-version":[{"id":681,"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/pages\/632\/revisions\/681"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/alladik\/wp-json\/wp\/v2\/media?parent=632"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}