DOCSLIB.ORG

Newton: the Fundamental Theorem of Calculus

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Newton: the Fundamental Theorem of Calculus Chapter 31 Newton: The fundamental theorem of calculus Relation of fluxions Isaac Newton (1665) handled the problem of tangents to a curve in the following way. Consider a Cartesian coordinate system with a point A moving along the x-axis and a point B moving along the y axis. The vertical line through A and the horizontal line through B intersect at a point P . As A and B move on the respective axes, the point P traces out a curve, which has equation f(x, y)=0. The velocities of A and B are called fluxions, and are denoted by x˙ and y˙ respectively. Newton first considered the relation between the fluxions x˙ and y˙, i j assuming f(x, y) of the form aijx y . He substituted x and y by x+xo ˙ and y +yo ˙ into f(x, y)=0 and obtained P 0= aij(x +xo ˙ )(y +yo ˙ ) i j i j 1 2 = X aijx y + aijx (jy − yo˙ + terms of o ) j i 1 2 +X aijy (ix X− xo˙ + terms of o ) i 1 j 1 + X a (ix − xo˙ + )(jy − yo˙ + ) ij ··· ··· X i j 2 Since aijx y =0, dropping all terms involving o , we have P i 1 j 1 aij(ix − xo˙ + jy − yo˙ )=0. X 318 Newton: The fundamental theorem of calculus Dividing by o, Newton obtained ix˙ jy˙ + a xiyj =0, x y ij or X y˙ ja xiyj 1 = ij − . x˙ − ia xi 1yj P ij − P Fundamental Theorem of Calculus Newton considered the inverse problem of finding y in terms of x given y˙ y˙ a relation between x and the ratio of their fluxions x˙ . Specifically, x˙ = g(x). A˙ A b a x x˙ x Let A be the area under the curve y = f(x), between two values a and b of x. Regard this area as being swept out by the vertical segments moving from a to the right with unit fluxion x˙ =1. Newton asserted that the fluxion (time rate of change) of the area is A˙ = g(x) with x˙ =1, so that A˙ = g(x). x˙ This is the fundamental theorem of calculus. Chapter 32 Newton: The binomial theorem Newton discovered the binomial theorem for an arbitrary index in the following form: m m m m n m 2n m 3n (P +P Q) n = P n + AQ+ − BQ+ − CQ+ − DQ+ n 2n 3n 4n ··· where P + P Q signifies the quantity whose root (or even any power, of root of a power) is to be found; P signifies the first term of that quantity, m Q the remaining terms divided by the first, and n the index. Example 32.1. x2 x4 x6 5x8 √a2 + x2 = a + + + . 2a − 8a3 16c5 − 128a7 ··· x2 Here, Q = a2 . With the first term A = a, we have 1 1 x2 x2 the second term B = 2 AQ = 2 a a2 = 2a , 1 1· x·2 x2 x4 the third term C = − BQ = − = , 4 4 · 2a · a2 − 8a3 3 1 x4 x2 x6 the fourth term D = − CQ = = , 6 − 2 − 8a3 · a2 16a5 .... Here is a modern formulation of the binomial theorem: let m be a rational number, m m m (1 + x)m =1+ x + x2 + + xk + 1 2 ··· k ··· where m m k m m = − , =1. k +1 k +1 k 0 320 Newton: The binomial theorem It is easy to see that m m(m 1) (m k + 1) = − ··· − . k k! Exercise Find the series expansion of 1 up to 5 terms. √1 x2 − Chapter 33 Newton’s method of approximate solution of an equation To solve a polynomial equation n k f(x)= akx =0, k 0 X− Newton started with an approximate solution x and sought a solution of the form x = x + p: ∗ ∗ n k 0= akx k=0 Xn k = ak(x + p) ∗ k=0 Xn k k 1 = ak(x + kx − p + ) ∗ ∗ ··· k=0 Xn n k k 1 = akx + p kakx − + higher order terms of p ∗ ∗ Xk=0 Xk=0 = f(x )+ pf ′(x )+ higher order terms of p. ∗ ∗ f(x∗) Ignoring the higher terms of p, we have p ′ . Therefore, if x is ≈ − f (x∗) ∗ f(x∗) an approximate solution, then x∗ ′ is a better one. − f (x∗) 322 Newton’s method of approximate solution of an equation Exercise (1) Find the cube root of 2 by iterating Newton’s method 3 times. (2) Show that if y3 + y + xy x3 2=0, then − − 1 x2 y =1 x + + . − 4 64 ··· Chapter 34 Newton’s reversion of series 1 Beginning with the area under the graph y = 1+x : 1 1 1 z = x x2 + x3 x4 + − 2 3 − 4 −··· Newton expressed x in terms of z in the following way. Newton used only the first five terms of the series, and solved 1 1 1 1 x5 x4 x3 + x2 + x z =0 5 − 4 − 3 2 − for x (in terms of z). Beginning with the first approximation z for x, he wrote x = z + p, substituted into the above equation, suppressing higher order terms of p and got 1 1 1 1 z2 + z3 z4 + z5 + p(1 z + z2 z3 + z4) −2 3 − 4 5 − − 1 3z2 1 + p2 + z +2z3 + p3 z +2z2 −2 − 2 3 − 1 1 + p4 + z + p5 =0. (34.1) −4 5 Using only the first two terms, he obtained 1 z2 + 1 z3 1 z4 + 1 z5 1 p − 2 3 − 4 5 = z2 + ≈ − 1 z + z2 z3 + z4 2 ··· − − 324 Newton’s reversion of series 1 2 This gives the second approximation x z + 2 z . Then Newton put 1 2 ≈ p = 2 z + q into (34.1) and obtain 1 1 1 1 z3 + z4 z5 + q 1 z + z2 + =0. −6 8 − 20 − 2 ··· From this, 1 z3 + 1 z4 1 z5 1 q = − 6 8 − 20 = z3 + . − 1 z + 1 z2) 6 ··· − 2 This gives the third approximation 1 1 x z + z2 + z3 + . ≈ 2 6 ··· Continuing in the same way, Newton obtained 1 1 1 1 x = z + z2 + z3 + z4 + z5 + . 2 6 24 120 ··· Now, since z = log(1 + x) is equivalent to ez 1, this gives the expansion − 1 1 1 1 ez =1+ z + z2 + z3 + z4 + z5 + . 2 6 24 120 ··· Chapter 35 Newton: The series for sine and cosine The series for arcsin x The series of arcsin x can be found from the quadrature of the circle. More precisely, the area under the circular arc AQ can be found in two ways: 1 1 x θ + x√1 x2 = √1 x2dx. 2 2 − − Z0 y A Q 1 √1 x2 − θ x x O P B Note that x x 1 1 1 5 √1 x2dx = 1 x2 x4 x6 x8 + dx − − 2 − 8 − 16 − 128 ··· Z0 Z0 1 1 1 = x x3 x5 x7 + − 6 − 40 − 112 ··· 326 Newton: The series for sine and cosine Therefore, with θ = arcsin x, we have x arcsin x = 2 √1 x2dx x√1 x2 − − − Z0 1 1 1 = 2 x x3 x5 x7 + − 6 − 40 − 112 ··· 1 1 1 x 1 x2 x4 x6 + − − 2 − 8 − 16 ··· 1 3 5 = x + x3 + x5 + x7 + . 6 40 112 ··· Newton then obtain the series of sin θ by reversing 1 3 5 θ = x + x3 + x5 + x7 + . 6 40 112 ··· This is 1 1 sin θ = θ θ3 + θ5 + − 6 120 − ··· From this, the series of cos θ also follows. Chapter 36 Wallis’ product Wallis has obtained an infinite product expression for π by interpola- tion. 1 Precisely, 4 3 3 5 5 7 7 9 9 11 11 = × × × × × × × × × ×··· . π 2 4 4 6 6 8 8 10 10 12 × × × × × × × × × ×··· π 2 n Let In := 0 sin dx. (1) Establish the reduction formula R n 1 In = − In 2. n · − (2) From this we see that the subsequences (I2n) and (I2n+1) are monotonic decreasing. Since every In is positive, these two subsequences are convergent. (3) We show that they indeed converge to the same limit. Since 2n+1 2n 2n 1 π sin x sin x sin − x for x 0, , we have I I ≤ ≤ ∈ 2 2n+1 ≤ 2n ≤ I2n 1, and − 2n I I = 2n+1 2n 1. 2n +1 I2n 1 ≤ I2n 1 ≤ − − I2n Therefore, limn =1, and indeed limn I2n = limn I2n+1. →∞ I2n−1 →∞ →∞ π (4) Now, from the recurrence relation and the initial values I0 = 2 1J. F. Scott, The Work of John Wallis, Chelsea, 1981; pp.47–60. 328 Wallis’ product and I1 =1, we have 1 3 2n 1 π I = − , 2n 2 · 4 ··· 2n · 2 2 4 2n I = . 2n+1 3 · 5 ··· 2n +1 Since I π 1 3 3 5 5 7 (2n 3) 2n 1 2n = × × × × × ×···× − − , I2n 1 2 × 2 2 4 4 6 6 2n 2 · 2n 2 − × × × × × ×···× − − we conclude that 4 3 3 5 5 7 (2n 3) (2n 1) = lim × × × × ×···× − × − . π n 2 4 4 6 6 (2n 2) (2n 2) →∞ × × × × ×···× − × − Exercise Suppose we construct a sequence of rectangles as follows. We begin with a square of area one. We then alternate adjoining a rectangle of area one alongside or on top of the previous rectangle. Find the limiting ratio of length to height..
Load more

Recommended publications
  • The Infinite and Contradiction: a History of Mathematical Physics By
    The infinite and contradiction: A history of mathematical physics by dialectical approach Ichiro Ueki January 18, 2021 Abstract The following hypothesis is proposed: \In mathematics, the contradiction involved in the de- velopment of human knowledge is included in the form of the infinite.” To prove this hypothesis, the author tries to find what sorts of the infinite in mathematics were used to represent the con- tradictions involved in some revolutions in mathematical physics, and concludes \the contradiction involved in mathematical description of motion was represented with the infinite within recursive (computable) set level by early Newtonian mechanics; and then the contradiction to describe discon- tinuous phenomena with continuous functions and contradictions about \ether" were represented with the infinite higher than the recursive set level, namely of arithmetical set level in second or- der arithmetic (ordinary mathematics), by mechanics of continuous bodies and field theory; and subsequently the contradiction appeared in macroscopic physics applied to microscopic phenomena were represented with the further higher infinite in third or higher order arithmetic (set-theoretic mathematics), by quantum mechanics". 1 Introduction Contradictions found in set theory from the end of the 19th century to the beginning of the 20th, gave a shock called \a crisis of mathematics" to the world of mathematicians. One of the contradictions was reported by B. Russel: \Let w be the class [set]1 of all classes which are not members of themselves. Then whatever class x may be, 'x is a w' is equivalent to 'x is not an x'. Hence, giving to x the value w, 'w is a w' is equivalent to 'w is not a w'."[52] Russel described the crisis in 1959: I was led to this contradiction by Cantor's proof that there is no greatest cardinal number.
    [Show full text]
  • Or, If the Sine Functions Be Eliminated by Means of (11)
    52 BINOMIAL THEOREM AND NEWTONS MONUMENT. [Nov., or, if the sine functions be eliminated by means of (11), e <*i : <** : <xz = X^ptptf : K(P*ptf : A3(Pi#*) . (53) While (52) does not enable us to construct the point of least attraction, it furnishes a solution of the converse problem : to determine the ratios of the masses of three points so as to make the sum of their attractions on a point P within their triangle a minimum. If, in (50), we put n = 2 and ax + a% = 1, and hence pt + p% = 1, this equation can be regarded as that of a curve whose ordinate s represents the sum of the attractions exerted by the points et and e2 on the foot of the ordinate. This curve approaches asymptotically the perpendiculars erected on the vector {ex — e2) at ex and e% ; and the point of minimum attraction corresponds to its lowest point. Similarly, in the case n = 3, the sum of the attractions exerted by the vertices of the triangle on any point within this triangle can be rep­ resented by the ordinate of a surface, erected at this point at right angles to the plane of the triangle. This suggestion may here suffice. 22. Concluding remark.—Further results concerning gen­ eralizations of the problem of the minimum sum of distances are reserved for a future communication. WAS THE BINOMIAL THEOEEM ENGKAVEN ON NEWTON'S MONUMENT? BY PKOFESSOR FLORIAN CAJORI. Moritz Cantor, in a recently published part of his admir­ able work, Vorlesungen über Gescliichte der Mathematik, speaks of the " Binomialreihe, welcher man 1727 bei Newtons Tode .
    [Show full text]
  • 3D Topological Quantum Computing
    3D Topological Quantum Computing Torsten Asselmeyer-Maluga German Aerospace Center (DLR), Rosa-Luxemburg-Str. 2 10178 Berlin, Germany [email protected] July 20, 2021 Abstract In this paper we will present some ideas to use 3D topology for quan- tum computing extending ideas from a previous paper. Topological quan- tum computing used “knotted” quantum states of topological phases of matter, called anyons. But anyons are connected with surface topology. But surfaces have (usually) abelian fundamental groups and therefore one needs non-abelian anyons to use it for quantum computing. But usual materials are 3D objects which can admit more complicated topologies. Here, complements of knots do play a prominent role and are in principle the main parts to understand 3-manifold topology. For that purpose, we will construct a quantum system on the complements of a knot in the 3-sphere (see arXiv:2102.04452 for previous work). The whole system is designed as knotted superconductor where every crossing is a Josephson junction and the qubit is realized as flux qubit. We discuss the proper- ties of this systems in particular the fluxion quantization by using the A-polynomial of the knot. Furthermore we showed that 2-qubit opera- tions can be realized by linked (knotted) superconductors again coupled via a Josephson junction. 1 Introduction Quantum computing exploits quantum-mechanical phenomena such as super- position and entanglement to perform operations on data, which in many cases, arXiv:2107.08049v1 [quant-ph] 16 Jul 2021 are infeasible to do efficiently on classical computers. Topological quantum computing seeks to implement a more resilient qubit by utilizing non-Abelian forms of matter like non-abelian anyons to store quantum information.
    [Show full text]
  • 50 Mathematical Ideas You Really Need to Know
    50 mathematical ideas you really need to know Tony Crilly 2 Contents Introduction 01 Zero 02 Number systems 03 Fractions 04 Squares and square roots 05 π 06 e 07 Infinity 08 Imaginary numbers 09 Primes 10 Perfect numbers 11 Fibonacci numbers 12 Golden rectangles 13 Pascal’s triangle 14 Algebra 15 Euclid’s algorithm 16 Logic 17 Proof 3 18 Sets 19 Calculus 20 Constructions 21 Triangles 22 Curves 23 Topology 24 Dimension 25 Fractals 26 Chaos 27 The parallel postulate 28 Discrete geometry 29 Graphs 30 The four-colour problem 31 Probability 32 Bayes’s theory 33 The birthday problem 34 Distributions 35 The normal curve 36 Connecting data 37 Genetics 38 Groups 4 39 Matrices 40 Codes 41 Advanced counting 42 Magic squares 43 Latin squares 44 Money mathematics 45 The diet problem 46 The travelling salesperson 47 Game theory 48 Relativity 49 Fermat’s last theorem 50 The Riemann hypothesis Glossary Index 5 Introduction Mathematics is a vast subject and no one can possibly know it all. What one can do is explore and find an individual pathway. The possibilities open to us here will lead to other times and different cultures and to ideas that have intrigued mathematicians for centuries. Mathematics is both ancient and modern and is built up from widespread cultural and political influences. From India and Arabia we derive our modern numbering system but it is one tempered with historical barnacles. The ‘base 60’ of the Babylonians of two or three millennia BC shows up in our own culture – we have 60 seconds in a minute and 60 minutes in an hour; a right angle is still 90 degrees and not 100 grads as revolutionary France adopted in a first move towards decimalization.
    [Show full text]
  • The Birth of Calculus: Towards a More Leibnizian View
    The Birth of Calculus: Towards a More Leibnizian View Nicholas Kollerstrom [email protected] We re-evaluate the great Leibniz-Newton calculus debate, exactly three hundred years after it culminated, in 1712. We reflect upon the concept of invention, and to what extent there were indeed two independent inventors of this new mathematical method. We are to a considerable extent agreeing with the mathematics historians Tom Whiteside in the 20th century and Augustus de Morgan in the 19th. By way of introduction we recall two apposite quotations: “After two and a half centuries the Newton-Leibniz disputes continue to inflame the passions. Only the very learned (or the very foolish) dare to enter this great killing- ground of the history of ideas” from Stephen Shapin1 and “When de l’Hôpital, in 1696, published at Paris a treatise so systematic, and so much resembling one of modern times, that it might be used even now, he could find nothing English to quote, except a slight treatise of Craig on quadratures, published in 1693” from Augustus de Morgan 2. Introduction The birth of calculus was experienced as a gradual transition from geometrical to algebraic modes of reasoning, sealing the victory of algebra over geometry around the dawn of the 18 th century. ‘Quadrature’ or the integral calculus had developed first: Kepler had computed how much wine was laid down in his wine-cellar by determining the volume of a wine-barrel, in 1615, 1 which marks a kind of beginning for that calculus. The newly-developing realm of infinitesimal problems was pursued simultaneously in France, Italy and England.
    [Show full text]
  • Introduction Liquid Perfusion Without the Overhead: Fast, Serial Liquid Replacement for PAM Assay Development
    FLUXION BIOSCIENCES APPLICATION NOTE Liquid Perfusion Without the Overhead: Fast, Serial Liquid Replacement for PAM Assay Development Introduction Ion channels are a class of trans-membrane proteins prolific in nearly all cell types, with extensive bio- diversity in controlling a vast array of physiological processes from cell-to-cell signaling all the way to homeostasis 1,2. It is possible to separate ion channels into two separate classes: ligand gated and voltage gated. Ligand-gated ion channels (LGICs) represent the class that are activated, or “gated”, in the presence of a ligand, or “agonist”. Functional impairment of LGICs represent a variety of disorders and diseases, and as such they are attractive targets for drug research focusing on various levels of modulation. γ- Amino butyric acid (GABA) activated receptors (GABAA) are chloride conducting channels that function by inhibiting neuronal cell excitability and represent the most abundant inhibitory receptor in the brain3. This receptor has a heteropolymeric structure4 with many identified subunits leading to a high degree of molecular diversity in mammalian species5. With GABA acting as an agonist, other compounds can modulate this evoked chloride current by binding to an allosteric site on the receptor 6. These allosteric modulator compounds are used in various therapeutic treatments including insomnia, anxiety, and, Figure 1: The IonFlux plates are based on the 96 or 384 SBS- schizophrenia. Allosteric enhancers of channel standard format. (Left) an IonFlux HT system capable of 64 parallel recording. (Right) the microfluidic network attached to the bottom of activity, also known as positive allosteric modulators a 384 well plate. This plate is used with the IonFlux HT (PAMs), are major targets for drug discovery and can act either by binding to the extracellular domain or to requiring extensive flexibility in extracellular liquid the pore domain 3.
    [Show full text]
  • Isaac Newton (1642 - 1727)
    Sir Isaac Newton (1642 - 1727) From `A Short Account of the History of Mathematics' (4th edition, 1908) by W. W. Rouse Ball. The mathematicians considered in the last chapter commenced the creation of those processes which distinguish modern mathematics. The extraordinary abilities of Newton enabled him within a few years to perfect the more elementary of those processes, and to distinctly advance every branch of mathematical science then studied, as well as to create some new subjects. Newton was the contemporary and friend of Wallis, Huygens, and others of those mentioned in the last chapter, but though most of his mathematical work was done between the years 1665 and 1686, the bulk of it was not printed - at any rate in book-form - till some years later. I propose to discuss the works of Newton more fully than those of other mathematicians, partly because of the intrinsic importance of his discoveries, and partly because this book is mainly intended for English readers, and the development of mathematics in Great Britain was for a century entirely in the hands of the Newtonian school. Isaac Newton was born in Lincolnshire, near Grantham, on December 25, 1642, and died at Kensington, London, on March 20, 1727. He was educated at Trinity College, Cambridge, and lived there from 1661 till 1696, during which time he produced the bulk of his work in mathematics; in 1696 he was appointed to a valuable Government office, and moved to London, where he resided till his death. His father, who had died shortly before Newton was born, was a yeoman farmer, and it was intended that Newton should carry on the paternal farm.
    [Show full text]
  • Bioflux System for Cellular Interactions Microfluidic Flow System for Live Cell Assays
    WHITE PAPER BioFlux System for Cellular Interactions Microfluidic flow system for live cell assays Introduction to the BioFlux System A vast number of biological processes involve cells interacting with other cells or molecules under shear flow conditions. Examples include blood clotting, tissue repair, immune and inflammatory response, bacterial infections, and cancer progression. There are two main approaches to studying these phenomena in drug discovery and cellular biology laboratories: static well plates and laminar flow chambers. Well plates can offer higher throughput, but their lack of flow control typically lowers the physiological relevance of the assay. Laminar flow chambers provide shear flow, but current systems suffer from limited throughput, long setup times, poor dynamic range of flow, large reagent consuption, and often unreliable results (i.e. leaks, bubble formation, etc.). The BioFlux System is a versatile platform for conducting cellular interaction assays which overcomes the limitations of static well plates and conventional laminar flow chambers. BioFlux Plates form the core of the system, and provide a convenient well-plate format for running parallel experiments. Each system also includes a benchtop controller, well-plate interface, heating stage, and simple to use automation software. The principal advantages provided by the platform lie in the experimental control, throughput, and reliability. Shear force, flow rates, temperature, and compound addition each can be independently controlled and automated via the software. Up to 24 independent experiments can be run on a single BioFlux Plate, each of which is single-use and Figure 1: A Fluxion microfluidic device coupled to an maintains an SBS-standard format. Other benefits include low reagent consumption, SBS-standard 48-well plate (viewed from the bottom).
    [Show full text]
  • Arxiv:1902.09766V2
    Representations and Divergences in the Space of Probability Measures and Stochastic Thermodynamics Liu Honga,b, Hong Qiana,∗, Lowell F. Thompsona aDepartment of Applied Mathematics, University of Washington, Seattle, WA 98195-3925, U.S.A. bZhou Pei-Yuan Center for Applied Mathematics, Tsinghua University, Beijing, 100084, P.R.C. Abstract Radon-Nikodym (RN) derivative between two measures arises naturally in the affine structure of the space of probability measures with densities. Entropy, free energy, relative entropy, and entropy production as mathematical concepts associated with RN derivatives are introduced. We identify a simple equation that connects two measures with densities as a possible mathematical basis of the entropy balance equation that is central in nonequilibrium thermodynamics. Application of this formalism to Gibb- sian canonical distribution yields many results in classical thermomechanics. An affine structure based on the canonical represenation and two divergences are introduced in the space of probability measures. It is shown that thermodynamic work, as a condi- tional expectation, is indictive of the RN derivative between two energy represenations being singular. The entropy divergence and the heat divergence yield respectively a Massieu-Planck potential based and a generalized Carnot inequalities. Keywords: Radon-Nikodym derivative, affine structure, space of probability measures, heat divergence 2010 MSC: 60-xx, 80-xx, 82-xx 1. Introduction arXiv:1902.09766v2 [cond-mat.stat-mech] 14 Apr 2020 A subtle distinction exists between the prevalent approach to stochastic processes in traditional applied mathematics and the physicist’s perspective on stochastic dy- ∗Corresponding author Email addresses: [email protected] (Liu Hong), [email protected] (Hong Qian), [email protected] (Lowell F.
    [Show full text]
  • The Fundamental Theorem of Calculus
    ISSN: 1402-1544 ISBN 978-91-86233-XX-X Se i listan och fyll i siffror där kryssen är DOCTORAL T H E SIS Anna Klisinska Department of Mathematics ISSN: 1402-1544 ISBN 978-91-86233-46-4 Theorem of Calculus: The Fundamental The Fundamental Luleå University of Technology 2009 Theorem of Calculus A case study into the didactic transposition of proof a case into study the didactic transposition of proof Anna Klisinska Luleå University of Technology The Fundamental Theorem of Calculus A case study into the didactic transposition of proof ANNA KLISIēSKA Tryck: Universitetstryckeriet, Luleå ISSN: 1402-1544 ISBN 978-91-86233-46-4 Luleå www.ltu.se To Marek Empty room Empty heart Since you've been gone I must move on iii iv ABSTRACT The relationship between academic mathematics as practiced by researchers at universities and classroom mathematics (the mathematical practices in classrooms in primary, lower and upper secondary education as well as in undergraduate university education) is a fundamental question in mathematics education. The focus of the study presented here is on how this relationship is seen from the perspective of mathematics education and by researching mathematicians, with a focus on proof. The Fundamental Theorem of Calculus (FTC) and its proof provide an illuminating but also curious example. The propositional content of the statements, which are connected to this name, varies. Consequently, also the proofs differ. The formulations of different versions of “the” FTC cannot be understood in isolation from its historical and institutional context. The study comprises a historical account of the invention of the FTC and its proof, including its appearance in calculus textbooks.
    [Show full text]
  • Mathematics for Physics II
    Mathematics for Physics II A set of lecture notes by Michael Stone PIMANDER-CASAUBON Alexandria Florence London • • ii Copyright c 2001,2002,2003 M. Stone. All rights reserved. No part of this material can be reproduced, stored or transmitted without the written permission of the author. For information contact: Michael Stone, Loomis Laboratory of Physics, University of Illinois, 1110 West Green Street, Urbana, IL 61801, USA. Preface These notes cover the material from the second half of a two-semester se- quence of mathematical methods courses given to first year physics graduate students at the University of Illinois. They consist of three loosely connected parts: i) an introduction to modern “calculus on manifolds”, the exterior differential calculus, and algebraic topology; ii) an introduction to group rep- resentation theory and its physical applications; iii) a fairly standard course on complex variables. iii iv PREFACE Contents Preface iii 1 Tensors in Euclidean Space 1 1.1 CovariantandContravariantVectors . 1 1.2 Tensors .............................. 4 1.3 CartesianTensors. .. .. 18 1.4 Further Exercises and Problems . 29 2 Differential Calculus on Manifolds 33 2.1 VectorandCovectorFields. 33 2.2 DifferentiatingTensors . 39 2.3 ExteriorCalculus . .. .. 48 2.4 PhysicalApplications. 54 2.5 CovariantDerivatives. 63 2.6 Further Exercises and Problems . 70 3 Integration on Manifolds 75 3.1 BasicNotions ........................... 75 3.2 Integrating p-Forms........................ 79 3.3 Stokes’Theorem ......................... 84 3.4 Applications............................ 87 3.5 ExercisesandProblems. .105 4 An Introduction to Topology 115 4.1 Homeomorphism and Diffeomorphism . 116 4.2 Cohomology............................117 4.3 Homology .............................122 4.4 DeRham’sTheorem .. .. .138 v vi CONTENTS 4.5 Poincar´eDuality .
    [Show full text]
  • The Ring of Fluxions
    THE RING OF FLUXIONS S.R. DOTY Abstract. The ring of fluxions (real sequential germs at infinity) provides a rigorous approach to infinitesimals, different from the better-known approach of Abraham Robinson. The basic idea was first espoused in a paper by Curt Schmieden and Detlof Laugwitz published in 1958. Although this ring codifies all the usual intuitive properties of infinitesimals in a very elementary way, its existence has been generally ignored. Introduction In 1960 Abraham Robinson [6, 7] discovered that a rigorous theory of infinitesimal real numbers can be developed in terms of the existence of nonstandard models of the real number field. Robinson’s approach, which depends on the compactness theorem of first-order logic, is not easily accessible to the mathematical community at large. It is not widely known that two years prior to Robinson’s insight, C. Schmieden and D. Laugwitz published a paper [8] in which a more elementary approach to infinitesimals was outlined. This approach is based on the construction of an ordered ring extension R˙ of the real ordered field R, consisting of germs of real sequences at infinity. In this article, I have taken the liberty to introduce the term fluxions for such germs, adapting an obsolete term from [5]. arXiv:1103.1272v2 [math.FA] 9 Mar 2011 According to [7, p. 2], “G.W. Leibnitz argued that the theory of infinitesimals implies the introduction of ideal numbers which might be infinitely small or infinitely large compared with real numbers but which were to possess the same properties as the latter.” This of course demands not just an ordered ring extension but an ordered field ex- tension, which is what Robinson’s method produces.
    [Show full text]