Inexplicable Functions and the Euler-Maclaurin Summation Formula
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Cauchy, Infinitesimals and Ghosts of Departed Quantifiers 3
CAUCHY, INFINITESIMALS AND GHOSTS OF DEPARTED QUANTIFIERS JACQUES BAIR, PIOTR BLASZCZYK, ROBERT ELY, VALERIE´ HENRY, VLADIMIR KANOVEI, KARIN U. KATZ, MIKHAIL G. KATZ, TARAS KUDRYK, SEMEN S. KUTATELADZE, THOMAS MCGAFFEY, THOMAS MORMANN, DAVID M. SCHAPS, AND DAVID SHERRY Abstract. Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson’s frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz’s distinction be- tween assignable and inassignable numbers finds a proxy in the distinction between standard and nonstandard numbers in Robin- son’s framework, while Leibniz’s law of homogeneity with the im- plied notion of equality up to negligible terms finds a mathematical formalisation in terms of standard part. It is hard to provide paral- lel formalisations in a Weierstrassian framework but scholars since Ishiguro have engaged in a quest for ghosts of departed quantifiers to provide a Weierstrassian account for Leibniz’s infinitesimals. Euler similarly had notions of equality up to negligible terms, of which he distinguished two types: geometric and arithmetic. Eu- ler routinely used product decompositions into a specific infinite number of factors, and used the binomial formula with an infi- nite exponent. Such procedures have immediate hyperfinite ana- logues in Robinson’s framework, while in a Weierstrassian frame- work they can only be reinterpreted by means of paraphrases de- parting significantly from Euler’s own presentation. Cauchy gives lucid definitions of continuity in terms of infinitesimals that find ready formalisations in Robinson’s framework but scholars working in a Weierstrassian framework bend over backwards either to claim that Cauchy was vague or to engage in a quest for ghosts of de- arXiv:1712.00226v1 [math.HO] 1 Dec 2017 parted quantifiers in his work. -
Leonhard Euler: His Life, the Man, and His Works∗
SIAM REVIEW c 2008 Walter Gautschi Vol. 50, No. 1, pp. 3–33 Leonhard Euler: His Life, the Man, and His Works∗ Walter Gautschi† Abstract. On the occasion of the 300th anniversary (on April 15, 2007) of Euler’s birth, an attempt is made to bring Euler’s genius to the attention of a broad segment of the educated public. The three stations of his life—Basel, St. Petersburg, andBerlin—are sketchedandthe principal works identified in more or less chronological order. To convey a flavor of his work andits impact on modernscience, a few of Euler’s memorable contributions are selected anddiscussedinmore detail. Remarks on Euler’s personality, intellect, andcraftsmanship roundout the presentation. Key words. LeonhardEuler, sketch of Euler’s life, works, andpersonality AMS subject classification. 01A50 DOI. 10.1137/070702710 Seh ich die Werke der Meister an, So sehe ich, was sie getan; Betracht ich meine Siebensachen, Seh ich, was ich h¨att sollen machen. –Goethe, Weimar 1814/1815 1. Introduction. It is a virtually impossible task to do justice, in a short span of time and space, to the great genius of Leonhard Euler. All we can do, in this lecture, is to bring across some glimpses of Euler’s incredibly voluminous and diverse work, which today fills 74 massive volumes of the Opera omnia (with two more to come). Nine additional volumes of correspondence are planned and have already appeared in part, and about seven volumes of notebooks and diaries still await editing! We begin in section 2 with a brief outline of Euler’s life, going through the three stations of his life: Basel, St. -
Connes on the Role of Hyperreals in Mathematics
Found Sci DOI 10.1007/s10699-012-9316-5 Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics Vladimir Kanovei · Mikhail G. Katz · Thomas Mormann © Springer Science+Business Media Dordrecht 2012 Abstract We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in func- tional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S, all definable sets of reals are Lebesgue measurable, suggesting that Connes views a theory as being “vir- tual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnera- ble to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace − (featured on the front cover of Connes’ magnum opus) V. -
Leonhard Euler Moriam Yarrow
Leonhard Euler Moriam Yarrow Euler's Life Leonhard Euler was one of the greatest mathematician and phsysicist of all time for his many contributions to mathematics. His works have inspired and are the foundation for modern mathe- matics. Euler was born in Basel, Switzerland on April 15, 1707 AD by Paul Euler and Marguerite Brucker. He is the oldest of five children. Once, Euler was born his family moved from Basel to Riehen, where most of his childhood took place. From a very young age Euler had a niche for math because his father taught him the subject. At the age of thirteen he was sent to live with his grandmother, where he attended the University of Basel to receive his Master of Philosphy in 1723. While he attended the Universirty of Basel, he studied greek in hebrew to satisfy his father. His father wanted to prepare him for a career in the field of theology in order to become a pastor, but his friend Johann Bernouilli convinced Euler's father to allow his son to pursue a career in mathematics. Bernoulli saw the potentional in Euler after giving him lessons. Euler received a position at the Academy at Saint Petersburg as a professor from his friend, Daniel Bernoulli. He rose through the ranks very quickly. Once Daniel Bernoulli decided to leave his position as the director of the mathmatical department, Euler was promoted. While in Russia, Euler was greeted/ introduced to Christian Goldbach, who sparked Euler's interest in number theory. Euler was a man of many talents because in Russia he was learning russian, executed studies on navigation and ship design, cartography, and an examiner for the military cadet corps. -
Euler and His Work on Infinite Series
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 44, Number 4, October 2007, Pages 515–539 S 0273-0979(07)01175-5 Article electronically published on June 26, 2007 EULER AND HIS WORK ON INFINITE SERIES V. S. VARADARAJAN For the 300th anniversary of Leonhard Euler’s birth Table of contents 1. Introduction 2. Zeta values 3. Divergent series 4. Summation formula 5. Concluding remarks 1. Introduction Leonhard Euler is one of the greatest and most astounding icons in the history of science. His work, dating back to the early eighteenth century, is still with us, very much alive and generating intense interest. Like Shakespeare and Mozart, he has remained fresh and captivating because of his personality as well as his ideas and achievements in mathematics. The reasons for this phenomenon lie in his universality, his uniqueness, and the immense output he left behind in papers, correspondence, diaries, and other memorabilia. Opera Omnia [E], his collected works and correspondence, is still in the process of completion, close to eighty volumes and 31,000+ pages and counting. A volume of brief summaries of his letters runs to several hundred pages. It is hard to comprehend the prodigious energy and creativity of this man who fueled such a monumental output. Even more remarkable, and in stark contrast to men like Newton and Gauss, is the sunny and equable temperament that informed all of his work, his correspondence, and his interactions with other people, both common and scientific. It was often said of him that he did mathematics as other people breathed, effortlessly and continuously. -
On the Euler Integral for the Positive and Negative Factorial
On the Euler Integral for the positive and negative Factorial Tai-Choon Yoon ∗ and Yina Yoon (Dated: Dec. 13th., 2020) Abstract We reviewed the Euler integral for the factorial, Gauss’ Pi function, Legendre’s gamma function and beta function, and found that gamma function is defective in Γ(0) and Γ( x) − because they are undefined or indefinable. And we came to a conclusion that the definition of a negative factorial, that covers the domain of the negative space, is needed to the Euler integral for the factorial, as well as the Euler Y function and the Euler Z function, that supersede Legendre’s gamma function and beta function. (Subject Class: 05A10, 11S80) A. The positive factorial and the Euler Y function Leonhard Euler (1707–1783) developed a transcendental progression in 1730[1] 1, which is read xedx (1 x)n. (1) Z − f From this, Euler transformed the above by changing e to g for generalization into f x g dx (1 x)n. (2) Z − Whence, Euler set f = 1 and g = 0, and got an integral for the factorial (!) 2, dx ( lx )n, (3) Z − where l represents logarithm . This is called the Euler integral of the second kind 3, and the equation (1) is called the Euler integral of the first kind. 4, 5 Rewriting the formula (3) as follows with limitation of domain for a positive half space, 1 1 n ln dx, n 0. (4) Z0 x ≥ ∗ Electronic address: [email protected] 1 “On Transcendental progressions that is, those whose general terms cannot be given algebraically” by Leonhard Euler p.3 2 ibid. -
Euler-Maclaurin Formula 1 Introduction
18.704 Seminar in Algebra and Number Theory Fall 2005 Euler-Maclaurin Formula Prof. Victor Kaˇc Kuat Yessenov 1 Introduction Euler-Maclaurin summation formula is an important tool of numerical analysis. Simply put, it gives Pn R n us an estimation of the sum i=0 f(i) through the integral 0 f(t)dt with an error term given by an integral which involves Bernoulli numbers. In the most general form, it can be written as b X Z b 1 f(n) = f(t)dt + (f(b) + f(a)) + (1) 2 n=a a k X bi + (f (i−1)(b) − f (i−1)(a)) − i! i=2 Z b B ({1 − t}) − k f (k)(t)dt a k! where a and b are arbitrary real numbers with difference b − a being a positive integer number, Bn and bn are Bernoulli polynomials and numbers, respectively, and k is any positive integer. The condition we impose on the real function f is that it should have continuous k-th derivative. The symbol {x} for a real number x denotes the fractional part of x. Proof of this theorem using h−calculus is given in the book [Ka] by Victor Kaˇc. In this paper we would like to discuss several applications of this formula. This formula was discovered independently and almost simultaneously by Euler and Maclaurin in the first half of the XVIII-th century. However, neither of them obtained the remainder term Z b Bk({1 − t}) (k) Rk = f (t)dt (2) a k! which is the most essential Both used iterative method of obtaining Bernoulli’s numbers bi, but Maclaurin’s approach was mainly based on geometric structure while Euler used purely analytic ideas. -
Exploring Euler's Foundations of Differential Calculus in Isabelle
Exploring Euler’s Foundations of Differential Calculus in Isabelle/HOL using Nonstandard Analysis Jessika Rockel I V N E R U S E I T H Y T O H F G E R D I N B U Master of Science Computer Science School of Informatics University of Edinburgh 2019 Abstract When Euler wrote his ‘Foundations of Differential Calculus’ [5], he did so without a concept of limits or a fixed notion of what constitutes a proof. Yet many of his results still hold up today, and he is often revered for his skillful handling of these matters despite the lack of a rigorous formal framework. Nowadays we not only have a stricter notion of proofs but we also have computer tools that can assist in formal proof development: Interactive theorem provers help users construct formal proofs interactively by verifying individual proof steps and pro- viding automation tools to help find the right rules to prove a given step. In this project we examine the section of Euler’s ‘Foundations of Differential Cal- culus’ dealing with the differentiation of logarithms [5, pp. 100-104]. We retrace his arguments in the interactive theorem prover Isabelle to verify his lines of argument and his conclusions and try to gain some insight into how he came up with them. We are mostly able to follow his general line of reasoning, and we identify a num- ber of hidden assumptions and skipped steps in his proofs. In one case where we cannot reproduce his proof directly we can still validate his conclusions, providing a proof that only uses methods that were available to Euler at the time. -
Leonhard Euler - Wikipedia, the Free Encyclopedia Page 1 of 14
Leonhard Euler - Wikipedia, the free encyclopedia Page 1 of 14 Leonhard Euler From Wikipedia, the free encyclopedia Leonhard Euler ( German pronunciation: [l]; English Leonhard Euler approximation, "Oiler" [1] 15 April 1707 – 18 September 1783) was a pioneering Swiss mathematician and physicist. He made important discoveries in fields as diverse as infinitesimal calculus and graph theory. He also introduced much of the modern mathematical terminology and notation, particularly for mathematical analysis, such as the notion of a mathematical function.[2] He is also renowned for his work in mechanics, fluid dynamics, optics, and astronomy. Euler spent most of his adult life in St. Petersburg, Russia, and in Berlin, Prussia. He is considered to be the preeminent mathematician of the 18th century, and one of the greatest of all time. He is also one of the most prolific mathematicians ever; his collected works fill 60–80 quarto volumes. [3] A statement attributed to Pierre-Simon Laplace expresses Euler's influence on mathematics: "Read Euler, read Euler, he is our teacher in all things," which has also been translated as "Read Portrait by Emanuel Handmann 1756(?) Euler, read Euler, he is the master of us all." [4] Born 15 April 1707 Euler was featured on the sixth series of the Swiss 10- Basel, Switzerland franc banknote and on numerous Swiss, German, and Died Russian postage stamps. The asteroid 2002 Euler was 18 September 1783 (aged 76) named in his honor. He is also commemorated by the [OS: 7 September 1783] Lutheran Church on their Calendar of Saints on 24 St. Petersburg, Russia May – he was a devout Christian (and believer in Residence Prussia, Russia biblical inerrancy) who wrote apologetics and argued Switzerland [5] forcefully against the prominent atheists of his time. -
Why Is the Gamma Function So As It Is? Detlef Gronau
1/1 (2003), 43–53 Why is the gamma function so as it is? Detlef Gronau Abstract. This is a historical note on the gamma function Γ. The question is, why is Γ(n) for naturals n equal to (n−1)! and not equal to n! (the factorial function n! = 1·2 · · · n) ? Was A. M. Legendre responsible for this transformation, or was it L. Euler? And, who was the first who gave a representation of the so called Euler gamma function? Key words and phrases: history of mathematics, gamma function. ZDM Subject Classification: 01A55, 39-03, 39B12. 0. Introduction I often asked myself the following question: “Why is Γ(n) = (n 1)! and not Γ(n)= n! ?” (Q) − The standard answer to this question is: Euler1 introduced the gamma func- n 2 tion as an interpolating function for the factorials n!= k=1 k. Legendre intro- duced the notation Γ together with this shift such thatQ Γ(n) = (n 1)! . But it − ain’t necessarily so. As a matter of fact, it was Daniel Bernoulli3 who gave in 1729 the first representation of an interpolating function of the factorials in form of an infinite product, later known as gamma function. 1Leonhard Euler, 15. 4. 1707, Basel – 18.9.˙ 1783, St. Petersburg. 2Adrien Marie Legendre, Paris, 18. 9. 1752 – 9. 1. 1833, Paris. 3Daniel Bernoulli, 8.2.1700, Groningen – 17. 3. 1782, Basel. Copyright c 2003 by University of Debrecen 44 Detlef Gronau Euler who, at that time, stayed together with D. Bernoulli in St. Peters- burg gave a similar representation of this interpolating function. -
The Legacy of Leonhard Euler: a Tricentennial Tribute (419 Pages)
P698.TP.indd 1 9/8/09 5:23:37 PM This page intentionally left blank Lokenath Debnath The University of Texas-Pan American, USA Imperial College Press ICP P698.TP.indd 2 9/8/09 5:23:39 PM Published by Imperial College Press 57 Shelton Street Covent Garden London WC2H 9HE Distributed by World Scientific Publishing Co. Pte. Ltd. 5 Toh Tuck Link, Singapore 596224 USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601 UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE British Library Cataloguing-in-Publication Data A catalogue record for this book is available from the British Library. THE LEGACY OF LEONHARD EULER A Tricentennial Tribute Copyright © 2010 by Imperial College Press All rights reserved. This book, or parts thereof, may not be reproduced in any form or by any means, electronic or mechanical, including photocopying, recording or any information storage and retrieval system now known or to be invented, without written permission from the Publisher. For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy is not required from the publisher. ISBN-13 978-1-84816-525-0 ISBN-10 1-84816-525-0 Printed in Singapore. LaiFun - The Legacy of Leonhard.pmd 1 9/4/2009, 3:04 PM September 4, 2009 14:33 World Scientific Book - 9in x 6in LegacyLeonhard Leonhard Euler (1707–1783) ii September 4, 2009 14:33 World Scientific Book - 9in x 6in LegacyLeonhard To my wife Sadhana, grandson Kirin,and granddaughter Princess Maya, with love and affection. -
Excerpts on the Euler-Maclaurin Summation Formula, from Institutiones Calculi Differentialis by Leonhard Euler
Excerpts on the Euler-Maclaurin summation formula, from Institutiones Calculi Differentialis by Leonhard Euler. Translated by David Pengelley Copyright °c 2000 by David Pengelley (individual educational use only may be made without permission) Leonhard Euler’s book Institutiones Calculi Differentialis (Foundations of Differential Calculus) was published in two parts in 1755 [2, series I, vol. 10], and translated into German in 1790 [3]. There is an English translation of part 1 [4], but not part 2, of the Institutiones. Euler was entranced by infinite series, and a wizard at working with them. A lot of the book is actually devoted to the relationship between differential calculus and infinite series, and in this respect it differs considerably from today’s calculus books. In chapters 5 and 6 of part 2 Euler presents his way of finding sums of series, both finite and infinite, via his discovery of the Euler-Maclaurin summation formula. Here we present translated excerpts from these two chapters of part 2, featuring aspects of Euler’s development and applications of his summation formula. The English translation has been made primarily from the German translation of 1790 [3], with some assistance from Daniel Otero in comparing the resulting English with the Latin original. The excerpts include those in a forthcoming book of annotated original sources, within a chapter on The Bridge Between the Continuous and Discrete. The book chapter follows this theme via sources by Archimedes, Fermat, Pascal, Bernoulli and Euler. For more information see http://math.nmsu.edu/~history. In the spirit of providing pure uninterpreted translation, we have here removed all our annotation and commentary, which along with extensive exercises can be found in the book chapter.