Cambridge University Press 978-1-108-70945-3 — Series and Products in the Development of Mathematics Vol 1, 2Nd Ed

Total Page:16

File Type:pdf, Size:1020Kb

Cambridge University Press 978-1-108-70945-3 — Series and Products in the Development of Mathematics Vol 1, 2Nd Ed Cambridge University Press 978-1-108-70945-3 — Series and Products in the Development of Mathematics Vol 1, 2nd ed. Ranjan Roy Index More Information Index Abel, Niels Henrik, 88, 90, 93, 95–99, 102–104, 137, Arithmetica Universalis, 118, 140, 142 220, 242, 253, 367, 368, 385, 387, 388, 394, 402, Ars Conjectandi, 26, 27 448, 449, 471, 543, 556, 562, 563, 569, 584, 600 Artin, Emil, 443, 486, 488, 496 Abel mean, 569, 579 Artis Analyticae Praxis, 117 Abhyankar, Shreeram, 172 Aryabhatyabhasya, 2, 3 Acosta, D. J., 142 Ash, J. Marshall, 656 Acta Eruditorum, 145, 150, 244, 271, 303, 305, 342 Askey, Richard, 458, 482, 498, 628, 659, 709, 710, Aepinus, Franz, 91 720 Ahlfors, Lars, 664 asymptotic series, 503, 506 Aiyar, T. V. V., 22 Aubrey, John, 58 Akhiezer, N. I., 712, 720 al-Biruni, 188 Babbage, Charles, 597, 599, 600, 616, 638 al-Haytham, 8, 20, 21, 24, 30, 241 Bag, Amulya Kumar, 20, 22 al-Karaji, 81 Baillaud, B., 76 al-Kashi, 81, 166 Barnes, E. W., 498, 664, 665 al-Samawal, 81 Barnes’s integral, 498, 666 d’Alembert, Jean, 87, 250, 251, 262, 265, 266, 307, 322, 337, 524–526, 536, 598, 599 Barrow, Isaac, 144, 167, 173, 301, 328, 329 algebraic analysis, 103, 254, 366, 596, 602 de Beaune, Florimond, 151, 249, 260, 328 Almagest, 21, 186 Beery, Janet, 212 Altmann, Simon, 720 Berkeley, George, 115 Analyse alg´ebrique, 88, 101–103, 181, 202, 374, 394 Berndt, Bruce, 48, 686 Analytical Society, 368, 599, 600, 638 Bernoulli, Daniel, 26, 218, 284, 307, 319–321, 327, Anderson, Alexander, 178 331, 332, 334, 335, 361–364, 366, 399, 400, 437, Anderson, G. W., 477 438, 524, 526, 527, 556, 562, 580–582, 692 Anderson, Marlow, 22 Bernoulli, Jakob, 26, 27, 31, 33–35, 37, 40, 41, 48, Andrews, George, 659 145, 146, 215, 229, 240, 245, 260, 278, 330, 333, Angeli, Stephano degli, 333 334, 341, 352, 353, 396, 398, 416, 430, 500, 507, Aomoto, K., 478 557, 560, 574, 581 Apianus, Petrus, 82 Bernoulli, Johann, 26, 27, 145, 146, 156–159, Apollonius, 105 162–164, 179, 185, 215, 249, 250, 259–262, 271, Appell, Paul, 530 273, 275–279, 301, 303, 329–333, 341–344, 365, approximate quadrature, 19, 192, 204, 276, 692, 697 367, 381, 386, 396, 405, 407–410, 437, 440, 527, Arbogast, Louis, 597–599, 603, 609, 610, 615, 621, 596, 597, 603, 622, 684 622, 629, 638 Bernoulli, Johann, II, 26 Archimedean spiral, 114 Bernoulli, Niklaus, 27 Archimedes, 23 Bernoulli, Niklaus I, 26, 27, 216, 225, 286, 306, 307, Arithmetica Infinitorum, 54, 55, 76, 83, 143, 174 320, 334, 366, 378–380, 399, 410, 411, 500 Arithmetica Logarithmica, 188 Bernoulli, Niklaus II, 26, 334, 437 750 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-108-70945-3 — Series and Products in the Development of Mathematics Vol 1, 2nd ed. Ranjan Roy Index More Information Index 751 Bernoulli numbers, 26, 35, 400, 402, 404, 405, 423, Brouncker, William, 57, 58, 61, 62, 67, 68, 72, 76, 505, 512, 557, 562, 592, 594 167, 469 recurrence relations, 34, 48 Brun, Viggo, 104 Bernoulli polynomials, 33, 35, 44, 400, 527, 562 Budan, Franc¸ois, 139, 140 Fourier series of, 429 Bullialdus, Ismael, 34 Bessel, F. Wilhelm, 198, 362, 444–446, 506, 661 Bunyakovski, Viktor, 122 beta integral, 273, 297, 465, 468, 470–472, 498, 662, Burn, R. P., 364 705 Burnside, William Snow, 140 Selberg, 476 Bezout,´ Etienne,´ 604 Cahen, Eugene,` 665 Bhaskara, 4, 10, 15, 21, 64 Cambridge and Dublin Mathematical Journal, 598, Bhattopala, 79, 80 602 Binet, Jacques, 505, 514–516, 522, 523 Cambridge Mathematical Journal, 602 Binet’s integral formulas, 505, 514, 522 Campbell, George, 119, 120, 125, 138, 142 binomial coefficients, 33, 84, 188, 668 Campbell, Paul J., 363 binomial theorem, 20, 77, 82, 85, 86, 89–91, 94–96, Cannon, John T., 363 98, 100, 102, 103, 165, 168, 173, 174, 181, 189, Cantor, Georg, 103, 253, 254, 256, 640, 641, 213, 222, 251, 259, 309, 310, 365, 368–370, 601, 643–645, 649–652, 656 603, 620, 621, 623 Cantor set, 643, 645 non-commutative, 619 Cantor’s uniqueness theorem, 498, 640, 641, 650, 652 rational exponents, for, 87, 91 Carleson, Lennart , 655, 656 real exponents, for, 95 Carlson, Fritz, 454, 686 Boas, Ralph, 477 Carson, J. R., 602 Bodenhausen, Rudolf von, 146, 154 Cartier, Pierre, 630, 631 Bohr, Harald, 60, 116, 437, 443, 486–488 Castillione, Johan, 183 Bohr–Mollerup theorem, 486, 488 Cataldi, Pietro Antonio, 61 du Bois-Reymond, Paul, 653 catenary, 145, 146, 153–157, 164, 339 Bolzano, Bernard, 88, 252, 253, 255, 270, 653 Cauchy, Augustin-Louis, 45, 88, 89, 93–96, 98, Bombelli, Rafael, 61 101–103, 120–122, 134, 179, 181, 191, 194, 202, Bombieri, Enrico, 478 203, 211, 251, 252, 254, 255, 263, 267–272, 290, Bonnet, Pierre Ossian, 253–255 337, 366, 374–376, 378, 394, 402, 442, 454, 471, Boole, George, 358, 359, 590, 594, 598, 600–602, 473, 492, 505, 517–520, 523, 543, 544, 560, 561, 624–628, 637, 638 566, 572, 573, 598, 600, 639, 642, 654, 661, 664, Boole summation formula, 594 702 Boros, George, 305 Cauchy product, 94, 97, 101, 102 Bos, Henk, 164 Cavalieri, Bonaventura, 55, 205 Bose,S.N.,360 Cayley, Arthur, 360, 601, 602, 634, 636, 691 Bottazzini, Umberto, 327, 364, 555 Chabert, Jean-Luc, 212 Bouquet, Jean Claude, 337 Chandrasekhar, S., 144, 191 Bourbaki, Nicolas, 60, 164 Chebyshev, Pafnuty, 76, 192, 193, 209–212, 692, Bourget, H., 76 712–720 Boyer, Carl, 21, 35 Chu, Shih-Chieh (also Zhu Shijie), 222 brachistochrone, 157–159, 164 Clairaut, Alexis-Claude, 307, 336, 337, 528, 598 Bradley, Robert E., 103, 638 Clarke, Frances M., 326 Brahmagupta, 20, 21, 80, 188 Clausen, Thomas, 403, 586, 662, 684, 687 Brashman, N. D., 712 Clavis Mathematicae,54 Bressoud, David, 22, 272, 656, 687 Clavius, Christoph, 105 Briggs, Henry, 26, 84, 188–190 Cohen, Henri, 595 Brinkley, John, 612, 613 Collins, John, 58, 85, 167, 168, 189–191, 213, 214, Briot, C., 337 249, 256, 257, 305, 558, 561, 591, 611 Brisson, Barnabe,´ 598 Colson, John, 183 Bromhead, Edward, 599 Commercium Epistolicum, 184, 257, 305 Bronstein, Manuel, 280 condensation test, 101 Bronwin, Brice, 193, 209 Condorcet, Marie-Jean, 40 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-108-70945-3 — Series and Products in the Development of Mathematics Vol 1, 2nd ed. Ranjan Roy Index More Information 752 Index continued fractions definite integral, 363, 679 approximants, 22 hypergeometric, 684, 702–704 convergents, 4, 19, 58, 63, 68 infinite order, 531, 597 divergent series, 225 linear, 331, 343, 353, 684 hypergeometric series, 674, 686 nonhomogeneous, 322, 324, 325, 335, 345, 352 infinite, 57, 61 variable coefficients, 626 infinite products, 466 digamma function, 662 Riccati’s equation, 58, 72 dilogarithm function, 384, 386 series, 68 multivalued, 381 continuous nowhere differentiable function, 253, 653 Dini, Ulisse, 255 Cooke, Roger, 656 Diophantine equations, 4, 301 Cotes, Roger, 58, 72, 190, 192, 207, 275–278, 282, Diophantus, 105 284, 285, 287, 301, 303, 366, 367, 370, 374, 378, Dirac, Paul, 602 380, 440, 598, 611, 620, 689, 691, 693, 694, 697 Dirichlet, Peter Lejeune, 88, 89, 93, 99, 102, 436, 442, Craig, John, 152 443, 470–473, 475, 476, 490, 494, 495, 498, 529, Craik, Alex D., 637 535, 543–545, 547–552, 555, 584, 600, 603, 639, Cramer, Gabriel, 530, 538, 604 663, 665 Crelle, August Leopold, 88, 103, 368, 548, 603 Dirichlet L-function Crelle’s Journal, 88, 103, 139, 368, 544 functional equation, 403 Cuming, Alexander, 500–502 Dirichlet L-series, 88, 286, 406, 433, 435, 442 values of, 406 Damodara, 2 discriminant, 709 Dangerfield, Rodney, 688 Disquisitiones Arithmeticae, 403 Darboux, Gaston, 653, 709, 714 Divergent Series, 601 Dary, Michael, 85 divergent series, 90, 179, 215, 224, 225, 375, 396, Dauben, Joseph W., 656 401, 402, 415, 455, 493, 506, 509, 526, 562, 595, Davis, P. J., 499 601 De Analysi per Aequationes Infinitas, 144, 165, 166, asymptotic, 560 168, 170, 175, 183 Doctrine of Chances, 307, 308, 310, 511 De Computo Serierum, 168, 214, 408 Doetsch, Gustav, 602 De Methodis Serierum et Fluxionum, 144, 147, 167, Dong Youcheng, 668 172, 183, 184 Donkin, William F., 598 De Numeris Triangularibus, 188 Dostrovsky, Sigalia, 363 De Numerosa Potestatum Resolutione, 123 double gamma function, 665 De Quadratura Curvarum, 168, 248, 251, 330, 340 double zeta values, 411, 412, 415 Dedekind, Richard, 65, 102, 103, 255, 256, 270, 378, Duoji Bilei, 668 443, 472, 473, 496, 555, 584, 640, 641, 652 Dedekind cuts, 65 Dutka, J., 499, 687 Descartes, Rene,´ 55, 105–111, 114, 116–118, 123, Dyson, Freeman J., 201, 477, 484 138–140, 143, 151, 161, 313, 328 Dyson’s conjecture, 485 Descartes’s rule of signs, 118, 138 Dyson’s integral, 484 Despeaux, S. E., 638 Dhyanagrahopadesadhyaya, 188 Edwards, A. W. F., 28, 34 Dieudonne,´ Jean, 122, 142 Edwards, Harold, 246 difference equations, 306, 317, 319, 323, 361, 509, Edwards, Joseph, 182, 359, 364 510, 527, 555, 616, 617, 624, 637 Egorov, Dimitri, 654 linear, 306, 307 Einstein, Albert, 360 linear with variable coefficients, 308 Eisenstein, F. Gotthold, 45, 403, 433 nonhomogeneous, 308 elliptic functions, 360 operational method, 597 Ellis, R. Leslie , 600, 602 differential equations, 328–330, 358, 363, 366, 405, Enros, P. C., 638 615, 625, 658, 699, 700 entire functions, 443, 665 adjoint, 336, 350, 351 envelope, 336 algebraic coefficients, 664 Euclid, 117, 124, 143, 193, 668 asymptotic series, 506 Eudoxus, 252 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-108-70945-3 — Series and Products in the Development of Mathematics Vol 1, 2nd ed.
Recommended publications
  • "The Newton Polygon of a Planar Singular Curve and Its Subdivision"
    THE NEWTON POLYGON OF A PLANAR SINGULAR CURVE AND ITS SUBDIVISION NIKITA KALININ Abstract. Let a planar algebraic curve C be defined over a valuation field by an equation F (x,y)= 0. Valuations of the coefficients of F define a subdivision of the Newton polygon ∆ of the curve C. If a given point p is of multiplicity m on C, then the coefficients of F are subject to certain linear constraints. These constraints can be visualized in the above subdivision of ∆. Namely, we find a 3 2 distinguished collection of faces of the above subdivision, with total area at least 8 m . The union of these faces can be considered to be the “region of influence” of the singular point p in the subdivision of ∆. We also discuss three different definitions of a tropical point of multiplicity m. 0. Introduction Fix a non-empty finite subset Z2 and any valuation field K. We consider a curve C given by an equation F (x,y) = 0, where A⊂ i j ∗ (1) F (x,y)= aijx y , aij K . ∈ (i,jX)∈A Suppose that we know only the valuations of the coefficients of the polynomial F (x,y). Is it possible to extract any meaningful information from this knowledge? Unexpectedly, many geometric properties of C are visible from such a viewpoint. The Newton polygon ∆=∆( ) of the curve C is the convex hull of in R2. The extended Newton A A2 polyhedron of the curve C is the convex hull of the set ((i, j),s) R R (i, j) ,s val(aij) .
    [Show full text]
  • Occasion of Receiving the Seki-Takakazu Prize
    特集:日本数学会関孝和賞受賞 On the occasion of receiving the Seki-Takakazu Prize Jean-Pierre Bourguignon, the director of IHÉS A brief introduction to the Institut des Hautes Études Scientifiques The Institut des Hautes Études Scientifiques (IHÉS) was founded in 1958 by Léon MOTCHANE, an industrialist with a passion for mathematics, whose ambition was to create a research centre in Europe, counterpart to the renowned Institute for Advanced Study (IAS), Princeton, United States. IHÉS became a foundation acknowledged in the public interest in 1981. Like its model, IHÉS has a small number of Permanent Professors (5 presently), and hosts every year some 250 visitors coming from all around the world. A Scientific Council consisting of the Director, the Permanent Professors, the Léon Motchane professor and an equal number of external members is in charge of defining the scientific strategy of the Institute. The foundation is managed by an 18 member international Board of Directors selected for their expertise in science or in management. The French Minister of Research or their representative and the General Director of CNRS are members of the Board. IHÉS accounts are audited and certified by an international accountancy firm, Deloitte, Touche & Tomatsu. Its resources come from many different sources: half of its budget is provided by a contract with the French government, but institutions from some 10 countries, companies, foundations provide the other half, together with the income from the endowment of the Institute. Some 50 years after its creation, the high quality of its Permanent Professors and of its selected visiting researchers has established IHÉS as a research institute of world stature.
    [Show full text]
  • Historical Development of the Chinese Remainder Theorem
    Historical Development of the Chinese Remainder Theorem SHEN KANGSHENG Communicated by C. TRUESDELL 1. Source of the Problem Congruences of first degree were necessary to calculate calendars in ancient China as early as the 2 na century B.C. Subsequently, in making the Jingchu [a] calendar (237,A.D.), the astronomers defined shangyuan [b] 1 as the starting point of the calendar. If the Winter Solstice of a certain year occurred rl days after shangyuan and r2 days after the new moon, then that year was N years after shangyuan; hence arose the system of congruences aN ~ rl (mod 60) ~ r2 (mod b), . ~ ' where a is the number of days in a tropical year and b the number of days in a lunar month. 2. Sun Zi suanjing [c] (Master Sun's Mathematical Manual) Sun Zi suanjing (Problem 26' Volume 3) reads: "There are certain things whose number is unknown. A number is repeatedly divided by 3, the remainder is 2; divided by 5, the remainder is 3; and by 7, the remainder is 2. What will the num- ber be ?" The problem can be expressed as x --= 2 (mod 3) ~ 3 (mod 5) ~- 2 (rood 7). SUN ZI solved the problem as we do, giving x ~ 140 + 63 -k 30 ~=- 233 ~ 23 (rood 105). 1 Shangyuan is a supposed moment that occurred simultaneously with the midnight of jiazi [v] (the first day of the 60 day cycle), the Winter Solstice and the new moon. 286 SHEN KANGSHENG In speaking of the algorithm yielding these addends in the solution he continued: "In general, for G1 ~ 0(mod 5) ~ 0 (mod 7) = 1 (rood 3), take G1 = 70, G2 ~ 0(rood 3) ~ 0(mod 7) ~ 1 (mod 5), take G2 = 21, G3 ~ 0 (mod 3) ~ 0 (mod 5) ~ (1 rood 7), take G3 = 15.
    [Show full text]
  • ON MATHEMATICAL TERMINOLOGY: CULTURE CROSSING in NINETEENTH-CENTURY CHINA the History of Mathematical Terminologies in Nineteent
    ANDREA BRÉARD ON MATHEMATICAL TERMINOLOGY: CULTURE CROSSING IN NINETEENTH-CENTURY CHINA INTRODUCTORY REMARKS: ON MATHEMATICAL SYMBOLISM The history of mathematical terminologies in nineteenth-century China is a multi-layered issue. Their days of popularity and eventual decline are bound up with the complexities of the disputes between the Qian-Jia School who were concerned with textual criticism and the revival of ancient native Chinese mathematical texts, and those scholars that were interested in mathematical studies per se1 (and which we will discuss in a more detailed study elsewhere). The purpose of the following article is to portray the ‘introduction’ of Western mathematical notations into the Chinese consciousness of the late nineteenth century as a major signifying event, both (i) in its own right within the context of the translation of mathematical writ- ings from the West; and (ii) with respect to the way in which the tradi- tional mathematical symbolic system was interpreted by Qing commentators familiar with Western symbolical algebra. Although one might assume to find parallel movements in the commentatorial and translatory practices of one and the same person, nineteenth-cen- tury mathematical activities will be shown to be clearly compartmen- talized. In fact, for the period under consideration here, it would be more appropriate to speak of the ‘reintroduction’ of Western mathematical notations. Already in 1712 the French Jesuit Jean-François Foucquet S. J. (1665–1741) had tried to introduce algebraic symbols in his Aer- rebala xinfa ̅ (New method of algebra). This treatise, which was written for the Kangxi emperor, introduced symbolical 1 In particular, the ‘three friends discussing astronomy and mathematics’ (Tan tian san you dž ) Wang Lai (1768–1813), Li Rui (1763–1820) and Jiao Xun nj (1765–1814).
    [Show full text]
  • Kepler's Area Law in the Principia: Filling in Some Details in Newton's
    Historia Mathematica 30 (2003) 441–456 www.elsevier.com/locate/hm Kepler’s area law in the Principia: filling in some details in Newton’s proof of Proposition 1 Michael Nauenberg Department of Physics, University of California, Santa Cruz, CA 95064, USA Abstract During the past 30 years there has been controversy regarding the adequacy of Newton’s proof of Prop. 1 in Book 1 of the Principia. This proposition is of central importance because its proof of Kepler’s area law allowed Newton to introduce a geometric measure for time to solve problems in orbital dynamics in the Principia.Itis shown here that the critics of Prop. 1 have misunderstood Newton’s continuum limit argument by neglecting to consider the justification for this limit which he gave in Lemma 3. We clarify the proof of Prop. 1 by filling in some details left out by Newton which show that his proof of this proposition was adequate and well-grounded. 2003 Elsevier Inc. All rights reserved. Résumé Au cours des 30 dernières années, il y a eu une controverse au sujet de la preuve de la Proposition 1 telle qu’elle est formulée par Newton dans le premier livre de ses Principia. Cette proposition est d’une importance majeure puisque la preuve qu’elle donne de la loi des aires de Kepler permit à Newton d’introduire une expression géometrique du temps, lui permettant ainsi de résoudre des problèmes dans la domaine de la dynamique orbitale. Nous démontrons ici que les critiques de la Proposition 1 ont mal compris l’argument de Newton relatif aux limites continues et qu’ils ont négligé de considérer la justification pour ces limites donnée par Newton dans son Lemme 3.
    [Show full text]
  • Muramatsu's Method Aryabhata (499 AD) Brahmagupta (640 AD
    π in Other Eastern Countries Japan India In the Edo Period of Japan (1603 to 1868), 3.16 was used for π. But Aryabhata (499 AD) as people recognized that this value was not accurate, different values for π were calculated. Wasan scholars such as Muramatsu Shigekiyo, Seki Takakazu, Kamata Toshikiyo, Takebe Katahiro, and Matsunaga Aryabhata usedp the perimeter of a 384-sided poly- Yoshisuke all made calculations of π, and accomplished results gon to find π ≈ 9:8684. Later Aryabhata would comparable to their European mathematician counterparts. publish an “approximation” for his square root value, 3.1416. Note that his approximation is Muramatsu’s Method more accurate than his official value! Shigekiyo Muramatsu published Sanso in 1663. Muramatsu served the Asano family and possibly had a math insti- Brahmagupta (640 AD) tute in Edo (present day Tokyo). In his Brahmagupta used a pattern of inscribed polygons that work, Sanso, Muramatsu arranged prob- increased in the number of sides to calculate the perime- lems published earlier in Japanese math- ter of a circle.p Using these data points, he came to believe ematics texts without answers. Mura- that π = 10: matsu classified these problems into dif- ferent levels according to how difficult he thought they’d be to learn. Asano Crest It is in this book that he also showed the calculation of π from the regular inscribed polygon of 32,768 sides. He correctly obtained the Ramanujan (1887-1920) value 3.1415926. Thus, this book was the first to contain a mathematical calculation of π in Japan. 1 Srinivasa Ramanujan found several formulas for π.
    [Show full text]
  • Mathematical Philosophy of Takebe Katahiro
    数理解析研究所講究録 第 1831 巻 2013 年 57-65 57 Mathematical Philosophy of Takebe Katahiro Morimoto, Mitsuo 1 Seki Kowa Institute of Mathematics, Yokkaichi University Professor Emeritus, Sophia University Abstract Takebe Katahiro (1664-1739) was a Japanese mathematician, who exposed his philosophy on Mathematics itself and on Mathematical Research. In the Taisei Sankei (1711), he wrote Chapter 4 entitled the “Three Essentials” describing four classes of mathematical problems, the status of parameters in a problem and the classffica- tion of numbers. Note that his thought was based on Chinese traditional philosophy and on the achievement of Japanese mathematics in the early Edo period. Note also he recognized some numbers are not algebraic. In the Tetsujutsu Sankei (1722) he recommended the inductive heuristic method in mathe- matical research and recognized a mathematical research would be successful once the character of a mathematical object and that of a mathematician were accommodated to each other, com- paring his method of calculation of the circular $co$ efficient with that of his master Seki Takakazu and citing his own discovery of the infinite power series expansion formula of an inverse trigono- metric function. The Meiji Restoration (1868) was a tuming point in the history of Japan from the feudalism to the constitutional monarchism. The “ordinance on school system” (1872) of the new gov- emment defined mathematics in Japanese schools to be of “European style” thus abandoning the Japanese traditional mathematics. This policy was proved to be efficient at least for a half century and Takebe’s philosophy on Mathematics was buried in the complete oblivion. 1 Takebe Katahiro Takebe Katahiro 建部賢弘 (1664-1739) was one of great mathematicians in the Edo Period (1603- 1868) of Japan.
    [Show full text]
  • A Review of the History of Japanese Mathematics
    Revue d’histoire des math´ematiques, 7 (2001), p. 137–155. A REVIEW OF THE HISTORY OF JAPANESE MATHEMATICS Tsukane OGAWA (*) ABSTRACT. — This review aims to introduce Japanese mathematics to a non- expert and a non-Japanese readership. It briefly characterizes mathematics in Japan, surveys its history, as it developed over the last century, and provides a large (if not exhaustive) bibliography of works in the primary European languages. RESUM´ E´.—APERC¸ U SUR L’HISTOIRE DES MATHEMATIQUES´ JAPONAISES. Le but de cette note est de pr´esenter les math´ematiques japonaises `a un public non sp´ecialis´e dans le domaine. Les math´ematiques au Japon sont bri`evement caract´eris´ees, leur histoire, telle qu’elle s’est d´evelopp´ee durant le dernier si`ecle, est pass´ee en revue et finalement une importante bibliographie dans les principales langues europ´eennes est propos´ee, mˆeme si elle ne peut pr´etendre `a l’exhaustivit´e. 1. INTRODUCTION – NOT ONLY SANGAKU The custom of hanging sangaku ( ), wooden plates on which are inscribed mathematical problems and their answers, under the roofs of shrines in the Edo period (1603–1867) in Japan is familiar enough to have been illustrated and described in Scientific American, May 1998 [Rothman 1998]. It is, however, obvious that sangaku is not all there is to Japanese mathematics. It would be fallacious to consider that the essence of Japanese mathematics reveals itself in sangaku. As a beginning, this essay attempts briefly to introduce Japanese mathematics to a non-Japanese readership. It will answer the following questions : 1) What kind of mathematical disciplines developed in Japan ? 2) How were mathematical expressions written in vertical typesetting ? 3) How did the Japanese calculate ? 4) Is it true that, lacking proofs, Japanese mathematics was not logical ? (*) Texte re¸cu le 7 mars 1999, r´evis´e le 11 novembre 2000.
    [Show full text]
  • Absolute Irreducibility of Polynomials Via Newton Polytopes
    ABSOLUTE IRREDUCIBILITY OF POLYNOMIALS VIA NEWTON POLYTOPES SHUHONG GAO DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634 USA [email protected] Abstract. A multivariable polynomial is associated with a polytope, called its Newton polytope. A polynomial is absolutely irreducible if its Newton polytope is indecomposable in the sense of Minkowski sum of polytopes. Two general constructions of indecomposable polytopes are given, and they give many simple irreducibility criteria including the well-known Eisenstein’s crite- rion. Polynomials from these criteria are over any field and have the property of remaining absolutely irreducible when their coefficients are modified arbi- trarily in the field, but keeping certain collection of them nonzero. 1. Introduction It is well-known that Eisenstein’s criterion gives a simple condition for a polyno- mial to be irreducible. Over the years this criterion has witnessed many variations and generalizations using Newton polygons, prime ideals and valuations; see for examples [3, 25, 28, 38]. We examine the Newton polygon method and general- ize it through Newton polytopes associated with multivariable polynomials. This leads us to a more general geometric criterion for absolute irreducibility of multi- variable polynomials. Since the Newton polygon of a polynomial is only a small fraction of its Newton polytope, our method is much more powerful. Absolute irre- ducibility of polynomials is crucial in many applications including but not limited to finite geometry [14], combinatorics [47], algebraic geometric codes [45], permuta- tion polynomials [23] and function field sieve [1]. We present many infinite families of absolutely irreducible polynomials over an arbitrary field. These polynomials remain absolutely irreducible even if their coefficients are modified arbitrarily but with certain collection of them nonzero.
    [Show full text]
  • Characterizing and Tuning Exceptional Points Using Newton Polygons
    Characterizing and Tuning Exceptional Points Using Newton Polygons Rimika Jaiswal,1 Ayan Banerjee,2 and Awadhesh Narayan2, ∗ 1Undergraduate Programme, Indian Institute of Science, Bangalore 560012, India 2Solid State and Structural Chemistry Unit, Indian Institute of Science, Bangalore 560012, India (Dated: August 3, 2021) The study of non-Hermitian degeneracies { called exceptional points { has become an exciting frontier at the crossroads of optics, photonics, acoustics and quantum physics. Here, we introduce the Newton polygon method as a general algebraic framework for characterizing and tuning excep- tional points, and develop its connection to Puiseux expansions. We propose and illustrate how the Newton polygon method can enable the prediction of higher-order exceptional points, using a recently experimentally realized optical system. As an application of our framework, we show the presence of tunable exceptional points of various orders in PT -symmetric one-dimensional models. We further extend our method to study exceptional points in higher number of variables and demon- strate that it can reveal rich anisotropic behaviour around such degeneracies. Our work provides an analytic recipe to understand and tune exceptional physics. Introduction{ Energy non-conserving and dissipative Isaac Newton, in 1676, in his letters to Oldenburg and systems are described by non-Hermitian Hamiltoni- Leibniz [54]. They are conventionally used in algebraic ans [1]. Unlike their Hermitian counterparts, they are not geometry to prove the closure of fields [55] and are in- always diagonalizable and can become defective at some timately connected to Puiseux series { a generalization unique points in their parameter space { called excep- of the usual power series to negative and fractional ex- tional points (EPs) { where both the eigenvalues and the ponents [56, 57].
    [Show full text]
  • Newton Polygons
    Last revised 12:55 p.m. October 21, 2018 Newton polygons Bill Casselman University of British Columbia [email protected] Newton polygons are associated to polynomials with coefficients in a discrete valuation ring, and they give information about the valuations of roots. There are several applications, among them to the structure of Dieudonne´ modules, the ramification of local field extensions, and the desingularization of algebraic curves in P2. As an exception to a common practice of attribution, Newton polygons were originally introduced by Isaac Newton himself, and how he used them is not so different from how they are used now. He wanted to solve polynomial equations f(x, y)=0 for y as a series in fractional powers of x. For example, to solve yn = x we write simply y = x1/n, and 1/n to solve yn =1+ x set y = xk . X0 k Newton sketched the procedure he had come up with in a letter to Oldenburg. It is quite readable (see p. 126 of [Newton:1959] for the original Latin, p. 145 for an English translation). The diagram he exhibits is not essentially different from the ones drawn today. Newton polygons are perfectly and appropriately named—they are non•trivial, and introduced by Newton. This thread became eventually a method related to desingularizing algebraic curves over C (explained in Chaper IV of [Walker:1950]). My original motivation in writing this essay was to understand the theory of crystals, particularly 5 of § Chapter IV of [Demazure:1970]. But since then I have come across other applications.
    [Show full text]
  • Finsler Metric, Systolic Inequality, Isometr
    DISCRETE SURFACES WITH LENGTH AND AREA AND MINIMAL FILLINGS OF THE CIRCLE MARCOS COSSARINI Abstract. We propose to imagine that every Riemannian metric on a surface is discrete at the small scale, made of curves called walls. The length of a curve is its number of wall crossings, and the area of the surface is the number of crossings of the walls themselves. We show how to approximate a Riemannian (or self-reverse Finsler) metric by a wallsystem. This work is motivated by Gromov's filling area conjecture (FAC) that the hemisphere minimizes area among orientable Riemannian sur- faces that fill a circle isometrically. We introduce a discrete FAC: every square-celled surface that fills isometrically a 2n-cycle graph has at least n(n−1) 2 squares. We prove that our discrete FAC is equivalent to the FAC for surfaces with self-reverse metric. If the surface is a disk, the discrete FAC follows from Steinitz's algo- rithm for transforming curves into pseudolines. This gives a combinato- rial proof of the FAC for disks with self-reverse metric. We also imitate Ivanov's proof of the same fact, using discrete differential forms. And we prove a new theorem: the FAC holds for M¨obiusbands with self- reverse metric. To prove this we use a combinatorial curve shortening flow developed by de Graaf-Schrijver and Hass-Scott. The same method yields a proof of the systolic inequality for Klein bottles with self-reverse metric, conjectured by Sabourau{Yassine. Self-reverse metrics can be discretized using walls because every normed plane satisfies Crofton's formula: the length of every segment equals the symplectic measure of the set of lines that it crosses.
    [Show full text]