DOCSLIB.ORG

On Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric On Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric E. Peyghani, A. Tayebiii ABSTRACT Let (,)M g be an n-dimensional Riemannian manifold, and TM be its tangent bundle with the lift metric G . Then every infinitesimal fiber-preserving conformal transformation X induces an infinitesimal homothetic transformation V on M . Furthermore, the correspondence XV→ gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on TM onto the Lie algebra of infinitesimal homothetic transformations on M , and the kernel of this homomorphism is naturally isomorphic onto the Lie algebra of infinitesimal isometries of M . KEYWORDS Infinitesimal conformal transformation, homothetic transformation, Lagrange metric, isometry ∂v j 1. INTRODUCTION g =⊗∇=−Γgdxij dx, v k v ij i j∂xi ij k In the present paper everything will be always and discussed in the C ∞ category, and Riemannian manifolds will be assumed to be connected and dimM > 1. i ∂ Vv= i . Let M be an n-dimensional Riemannian manifold ∂x with a metric g and φ be a transformation on M . Then Raising j and contracting with i in (2) it is easily seen φ is called a conformal transformation if it preserves the that ∇ vvnij+∇ =2 Ω angles. Let V be a vector field on M and {}ϕt be the ij local one-parameter group of local transformations on Hence M generated by V . Then V is called an infinitesimal 1 conformal transformation, if each ϕ is a local conformal Ω= div() V t n transformation of M . It is well known that V is an where nM= dim . infinitesimal conformal transformation if and only if there exists a scalar function Ω on M such that Example. Let n ≥ 3 . On the n-dimensional Euclidean £g=Ω2 g (1) n V space, which is simply the manifold R with the where £ denotes the Lie derivation with respect to the ij V Riemannian metric tensor field g =⊗gdxij dx where vector field V , especially V is called an infinitesimal gij is a constant for each 1,≤≤ij n, equation (2) homothetic one when Ω is constant [7]. reduces to In the presence of a chart i , the equation xx= ()1≤≤in (3) ∂v j ∂vi (1) reduce to +=Ω2 g ∂xxij∂ ij ∇+∇=Ωvv2 g (2) ij ji ij from which it can be deduced that Ω must be of the form where k Ω =+bxk c for some constants bck , ∈ R and i Corresponding Author, E. Peyghan is with the Faculty of Science, Department of Mathematics, Arak University, Arak, Iran (e-mail: [email protected]). ii A. Tayebi is with the Faculty of Science, Department of Mathematics, Qom University, Qom, Iran (e-mail: [email protected]). 65 Amirkabir / MISC / Vol . 41 / No.2 / Fall 2009 1 ijk, , ,... will run from 1 to ndimM= . vAxH=+kkr + xxagagag() + − ii ki krirkiikr iik 2 The functions Nxyjjk(),:=Γ () xy are the local where Aiki, HR∈ are constants and coefficients of a nonlinear connection, that is the local vector fields HH+=2 cg. We notice that this conformal vector ki ik ki k δii= ∂−Nxy i(), , ∂ field is homothetic if and only if the vector aa= ()i k 1≤in≤ where ∂ = ∂ span distribution on TM called vanishes. k ∂yk Let TM be the tangent space of M , and let Φ be a horizontal which is supplementary to the vertical transformation of TM . Then Φ is called a fiber- distribution u→= Vuu TM ker()τ ∗ where uTM∈ . preserving transformation, if it preserves the fibers. Let Let us denote by uHTM→ u the horizontal distribution X be a vector field on TM , and let us consider the and let {}δi ,∂i be the basis adapted to the local one-parameter group {}Φt of local transformations decomposition of TM generated by X . Then X is called an TTM= H TM⊕ VTM infinitesimal fiber-preserving transformation on TM , if uuu where uTM∈ . The basis dual of it is {}dxii,δ y with each Φt is a local fiber-preserving transformation of iii k TM . Clearly an infinitesimal fiber-preserving δ ydyNxydx=+k () , . transformation on TM induces an infinitesimal transformation in the base space M [4]. Let g be a We can easily prove the following lemma: (pseudo)-Riemannian metric of TM . An infinitesimal Lemma 1. The Lie brackets satisfy the following: fiber-preserving transformation X on TM is said to be rm an infinitesimal fiber-preserving conformal []δδi, j=∂,yK jir m transformation, if there exists a scalar function ρ on m []δijim,∂=Γ∂,j TM such that £g= 2ρ g, where £ denotes the Lie X X []0∂,∂ = , derivation with respect to X [7]. ij The purpose of the present paper is to prove the m where K jir denote the components of the curvature following theorem: tensor of M . Theorem . Let (,)M g be an n-dimensional Riemannian manifold, and TM be its tangent space The metric II+ III on TM is as follows: with the lift metric G . Then every infinitesimal fiber- II+ III=+.2() g x dxijδδδ y g () x y ij y preserving conformal transformation X of TM induces ij ij an infinitesimal homothetic transformation on M . V If in the term of G one replaces gij ()x with the Furthermore, the correspondence XV→ gives a components hxy(), of a generalized Lagrange homomorphism of the Lie algebra of infinitesimal fiber- ij preserving conformal transformations on TM onto the metric([5]) one gets a metric Lie algebra of infinitesimal homothetic transformations ij ij Gxy()2(),= hij xydxy ,δ + h ij () xy ,δδ y y. on M , and the kernel of this homomorphism is naturally isomorphic onto the Lie algebra of infinitesimal isometries of M . In particular, hxyij (), could be a deformation of gij ()x , a case studied by M. Anastasiei in [3]. 2. GENERALIZED METRIC G Let ()M , g be a (pseudo)-Riemannian manifold and In this paper, we are concerning with the metric G in ∇ be its Levi-Civita connection. In a local chart the case when hxyij (), is the following special (())Ux, i we set gg=∂,∂(), where ∂ := ∂ and ij i j i ∂xi deformation of gij ()x i 2 we denote by Γ jk the Christoffel symbols of ∇ . Let hxyij()()(), =, aLgx ij ()()xii,≡,yxy be the local coordinates on the manifold TM projected on M by π . The indices 66 Amirkabir / MISC / Vol . 41 / No.2 / Fall 2009 2 ij j 2 ij ij where Lgxyyygxy=,=ij() i ij () and £GX=+ £ X(( aL ))(2 gdxy ijδδδ g ij y y ) 2 2 ij aImL:⊆⎯→() R++ R with a > 0 . + aL() £Xij (2 gdxδ y + gyyδδij)(4) 3. INFINITESIMAL CONFORMAL TRANSFORMATION ij From lemma 2 we conclude the following result: Let X be an infinitesimal fiber-preserving ij ij hh transformation on TM and (,vv ) be the components £gdxygyyXij(2δδδ+= ij ) hh bc m b m m i j of X with respect to the adapted frame {}dx,δ y . −−Γ−2{gim y v K jcb v bjδ j ()} v dx dx Then X is fiber-preserving if and only if vh depend mm +−∇+∂2{£gVijimj g v g imj ( v ) h only on variables ()x . Clearly X induces an bc m b m m i j −+Γ+gmjyvK icb g mj v bi g mjδδ i ()} v dx y infinitesimal transformation V with the components vh mij in the base space M [4]. We have the following lemma: +∂2()gvyymi j δδ (5) Lemma 2. The Lie derivative of the adapted frame and 2 2 the dual basis are given as follows: Since δh ()0L = and ∂=h ()2L yh , we have: a (1) £vXhδδ=−∂ h a 22 £aLX ( ( ))= XaL ( ( )) bc a b a a +−Γ−{()},yvKhcb v bhδ h v δ a hh22 =+∂vaLvδh (( )) (( aL )) ba a h (2)£vX ∂=hh { Γhb −δ ( v )}δ a , h 2 = 2()vyaLh ′ (6) (3) £dxhhm=∂ vdx , Xm hbchbhhm (4)£yXmcbbmmδδ=− { yvKv − Γ − ( vdx )} By taking (5) and (6) in (4), we have the proof. −Γ−{()}vvybhδδ h m . mb m Let X be an infinitesimal fiber-preserving conformal Proof. Proof of this lemma, is similar to proof of the transformation on TM with respect to metric G , that is, Proposition 2.2 of Yamauchi [7]. there exists a scalar function ρ on TM such that £GX = 2ρ G Lemma 3. The Lie derivative is in the following £GX Then from lemma 3, we have form: gyvKv{()}bc m−Γ− b mδ v m 2 bc m b m im jcb bj j £GXimjcbbj=−2( aLg ) { yvK − v Γ gyvKv{()}0(7)bc m b m v m mij +−Γ−=,jm icb biδ i −δ j ()}vdxdx 2 ++2(aL ){2ϕ gij £ V g ij mm 2()ϕ g£ggij+−∇+∂ V ij im j v g im j v mm −∇gvgim j +∂ im j () v bc m b m m −−Γ−=,gyvKvmj{()}2(8) icb biδρ i v g ij bc m b m −+ΓgyvKmj icb gv mj bi + gvdxyδδ()}mij mm mj i 2()()2(9)ϕρggij+∂ miji v +∂ g mj v = g ij . 2 mij ++∂2(aL )(ϕ gij g mi j ( v ))δδ y y Let Ω =−ρ ϕ . From (8) and (9) we conclude ′ 2 following relations: where ϕ = vyh aL() . h aL()2 mm £gVijimj−∇ g v +∂ g imj () v Proof. From the definition of Lie derivative we have: bc m b m m −−Γ−=Ω,gyvKvmj{ icb biδ i ( v )} 2 g ij (10) mm gvgvmi∂+∂=Ω.ji() mj ()2 g ij (11) 67 Amirkabir / MISC / Vol . 41 / No.2 / Fall 2009 Proposition 4. The vector field V with the m which implies that gvmi∂ r ∂=j ()0.
Load more

Recommended publications
  • 0.999… = 1 an Infinitesimal Explanation Bryan Dawson
    0 1 2 0.9999999999999999 0.999… = 1 An Infinitesimal Explanation Bryan Dawson know the proofs, but I still don’t What exactly does that mean? Just as real num- believe it.” Those words were uttered bers have decimal expansions, with one digit for each to me by a very good undergraduate integer power of 10, so do hyperreal numbers. But the mathematics major regarding hyperreals contain “infinite integers,” so there are digits This fact is possibly the most-argued- representing not just (the 237th digit past “Iabout result of arithmetic, one that can evoke great the decimal point) and (the 12,598th digit), passion. But why? but also (the Yth digit past the decimal point), According to Robert Ely [2] (see also Tall and where is a negative infinite hyperreal integer. Vinner [4]), the answer for some students lies in their We have four 0s followed by a 1 in intuition about the infinitely small: While they may the fifth decimal place, and also where understand that the difference between and 1 is represents zeros, followed by a 1 in the Yth less than any positive real number, they still perceive a decimal place. (Since we’ll see later that not all infinite nonzero but infinitely small difference—an infinitesimal hyperreal integers are equal, a more precise, but also difference—between the two. And it’s not just uglier, notation would be students; most professional mathematicians have not or formally studied infinitesimals and their larger setting, the hyperreal numbers, and as a result sometimes Confused? Perhaps a little background information wonder .
    [Show full text]
  • Understanding Student Use of Differentials in Physics Integration Problems
    PHYSICAL REVIEW SPECIAL TOPICS - PHYSICS EDUCATION RESEARCH 9, 020108 (2013) Understanding student use of differentials in physics integration problems Dehui Hu and N. Sanjay Rebello* Department of Physics, 116 Cardwell Hall, Kansas State University, Manhattan, Kansas 66506-2601, USA (Received 22 January 2013; published 26 July 2013) This study focuses on students’ use of the mathematical concept of differentials in physics problem solving. For instance, in electrostatics, students need to set up an integral to find the electric field due to a charged bar, an activity that involves the application of mathematical differentials (e.g., dr, dq). In this paper we aim to explore students’ reasoning about the differential concept in physics problems. We conducted group teaching or learning interviews with 13 engineering students enrolled in a second- semester calculus-based physics course. We amalgamated two frameworks—the resources framework and the conceptual metaphor framework—to analyze students’ reasoning about differential concept. Categorizing the mathematical resources involved in students’ mathematical thinking in physics provides us deeper insights into how students use mathematics in physics. Identifying the conceptual metaphors in students’ discourse illustrates the role of concrete experiential notions in students’ construction of mathematical reasoning. These two frameworks serve different purposes, and we illustrate how they can be pieced together to provide a better understanding of students’ mathematical thinking in physics. DOI: 10.1103/PhysRevSTPER.9.020108 PACS numbers: 01.40.Àd mathematical symbols [3]. For instance, mathematicians I. INTRODUCTION often use x; y asR variables and the integrals are often written Mathematical integration is widely used in many intro- in the form fðxÞdx, whereas in physics the variables ductory and upper-division physics courses.
    [Show full text]
  • 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.
    [Show full text]
  • Calculus Terminology
    AP Calculus BC Calculus Terminology Absolute Convergence Asymptote Continued Sum Absolute Maximum Average Rate of Change Continuous Function Absolute Minimum Average Value of a Function Continuously Differentiable Function Absolutely Convergent Axis of Rotation Converge Acceleration Boundary Value Problem Converge Absolutely Alternating Series Bounded Function Converge Conditionally Alternating Series Remainder Bounded Sequence Convergence Tests Alternating Series Test Bounds of Integration Convergent Sequence Analytic Methods Calculus Convergent Series Annulus Cartesian Form Critical Number Antiderivative of a Function Cavalieri’s Principle Critical Point Approximation by Differentials Center of Mass Formula Critical Value Arc Length of a Curve Centroid Curly d Area below a Curve Chain Rule Curve Area between Curves Comparison Test Curve Sketching Area of an Ellipse Concave Cusp Area of a Parabolic Segment Concave Down Cylindrical Shell Method Area under a Curve Concave Up Decreasing Function Area Using Parametric Equations Conditional Convergence Definite Integral Area Using Polar Coordinates Constant Term Definite Integral Rules Degenerate Divergent Series Function Operations Del Operator e Fundamental Theorem of Calculus Deleted Neighborhood Ellipsoid GLB Derivative End Behavior Global Maximum Derivative of a Power Series Essential Discontinuity Global Minimum Derivative Rules Explicit Differentiation Golden Spiral Difference Quotient Explicit Function Graphic Methods Differentiable Exponential Decay Greatest Lower Bound Differential
    [Show full text]
  • Infinitesimal Calculus
    Infinitesimal Calculus Δy ΔxΔy and “cannot stand” Δx • Derivative of the sum/difference of two functions (x + Δx) ± (y + Δy) = (x + y) + Δx + Δy ∴ we have a change of Δx + Δy. • Derivative of the product of two functions (x + Δx)(y + Δy) = xy + Δxy + xΔy + ΔxΔy ∴ we have a change of Δxy + xΔy. • Derivative of the product of three functions (x + Δx)(y + Δy)(z + Δz) = xyz + Δxyz + xΔyz + xyΔz + xΔyΔz + ΔxΔyz + xΔyΔz + ΔxΔyΔ ∴ we have a change of Δxyz + xΔyz + xyΔz. • Derivative of the quotient of three functions x Let u = . Then by the product rule above, yu = x yields y uΔy + yΔu = Δx. Substituting for u its value, we have xΔy Δxy − xΔy + yΔu = Δx. Finding the value of Δu , we have y y2 • Derivative of a power function (and the “chain rule”) Let y = x m . ∴ y = x ⋅ x ⋅ x ⋅...⋅ x (m times). By a generalization of the product rule, Δy = (xm−1Δx)(x m−1Δx)(x m−1Δx)...⋅ (xm −1Δx) m times. ∴ we have Δy = mx m−1Δx. • Derivative of the logarithmic function Let y = xn , n being constant. Then log y = nlog x. Differentiating y = xn , we have dy dy dy y y dy = nxn−1dx, or n = = = , since xn−1 = . Again, whatever n−1 y dx x dx dx x x x the differentials of log x and log y are, we have d(log y) = n ⋅ d(log x), or d(log y) n = . Placing these values of n equal to each other, we obtain d(log x) dy d(log y) y dy = .
    [Show full text]
  • 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.
    [Show full text]
  • Arxiv:1404.5658V1 [Math.LO] 22 Apr 2014 03F55
    TOWARD A CLARITY OF THE EXTREME VALUE THEOREM KARIN U. KATZ, MIKHAIL G. KATZ, AND TARAS KUDRYK Abstract. We apply a framework developed by C. S. Peirce to analyze the concept of clarity, so as to examine a pair of rival mathematical approaches to a typical result in analysis. Namely, we compare an intuitionist and an infinitesimal approaches to the extreme value theorem. We argue that a given pre-mathematical phenomenon may have several aspects that are not necessarily captured by a single formalisation, pointing to a complementar- ity rather than a rivalry of the approaches. Contents 1. Introduction 2 1.1. A historical re-appraisal 2 1.2. Practice and ontology 3 2. Grades of clarity according to Peirce 4 3. Perceptual continuity 5 4. Constructive clarity 7 5. Counterexample to the existence of a maximum 9 6. Reuniting the antipodes 10 7. Kronecker and constructivism 11 8. Infinitesimal clarity 13 8.1. Nominalistic reconstructions 13 8.2. Klein on rivalry of continua 14 arXiv:1404.5658v1 [math.LO] 22 Apr 2014 8.3. Formalizing Leibniz 15 8.4. Ultrapower 16 9. Hyperreal extreme value theorem 16 10. Approaches and invitations 18 11. Conclusion 19 References 19 2000 Mathematics Subject Classification. Primary 26E35; 00A30, 01A85, 03F55. Key words and phrases. Benacerraf, Bishop, Cauchy, constructive analysis, con- tinuity, extreme value theorem, grades of clarity, hyperreal, infinitesimal, Kaestner, Kronecker, law of excluded middle, ontology, Peirce, principle of unique choice, procedure, trichotomy, uniqueness paradigm. 1 2 KARINU. KATZ, MIKHAILG. KATZ, ANDTARASKUDRYK 1. Introduction German physicist G. Lichtenberg (1742 - 1799) was born less than a decade after the publication of the cleric George Berkeley’s tract The Analyst, and would have certainly been influenced by it or at least aware of it.
    [Show full text]
  • Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World Reviewed by Slava Gerovitch
    BOOK REVIEW Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World Reviewed by Slava Gerovitch Infinitesimal: How a Dangerous Mathematical Theory ing, from the chaos of imprecise analogies to the order Shaped the Modern World of disciplined reasoning. Yet, as Amir Alexander argues Amir Alexander in his fascinating book Infinitesimal: How a Dangerous Scientific American/Farrar, Straus and Giroux, April 2014 Mathematical Theory Shaped the Modern World, it was US$27.00/US$16.00, 368 pages precisely the champions of offensive infinitesimals who Hardcover ISBN-13: 978-0-37-417681-5 propelled mathematics forward, while the rational critics Paperback ISBN-13: 978-0-37-453499-8 slowed the development of mathematical thought. More- over, the debate over infinitesimals reflected a larger clash From today’s perspective, a mathematical technique that in European culture between religious dogma and intellec- lacks rigor or leads to paradoxes is a contradiction in tual pluralism and between the proponents of traditional terms. It must be expelled from mathematics, lest it dis- order and the defenders of new liberties. credit the profession, sow chaos, and put a large stain on Known since antiquity, the concept of indivisibles gave the shining surface of eternal truth. This is precisely what rise to Zeno’s paradoxes, including the famous “Achilles the leading mathematicians of the most learned Catholic and the Tortoise” conundrum, and was subjected to scath- order, the Jesuits, said about the “method of indivisibles”, ing philosophical critique by Plato and Aristotle. Archime- a dubious procedure of calculating areas and volumes by des used the method of indivisibles with considerable suc- representing plane figures or solids as a composition of in- cess, but even he, once a desired volume was calculated, divisible lines or planes, “infinitesimals”.
    [Show full text]
  • 3.5 Leibniz's Fundamental Theorem of Calculus
    3.5 Leibniz’s Fundamental Theorem of Calculus 133 spherical surface on top of the ice-cream cone. You may use knowledge of the surface area of the entire sphere, which Archimedes had determined. Exercise 3.24: Imagine boring a round hole through the center of a sphere, leaving a spherical ring. Use the result of Exercise 3.23 to find the volume of the ring. Hint: Amazingly, your answer should depend only on the height of the ring, not the size of the original sphere. Also obtain your result directly from Cavalieri’s Principle by comparing the ring with a sphere of diameter the height of the ring. 3.5 Leibniz’s Fundamental Theorem of Calculus Gottfried Wilhelm Leibniz and Isaac Newton were geniuses who lived quite different lives and invented quite different versions of the infinitesimal calculus, each to suit his own interests and purposes. Newton discovered his fundamental ideas in 1664–1666, while a student at Cambridge University. During a good part of these years the Univer- sity was closed due to the plague, and Newton worked at his family home in Woolsthorpe, Lincolnshire. However, his ideas were not published until 1687. Leibniz, in France and Germany, on the other hand, began his own breakthroughs in 1675, publishing in 1684. The importance of publication is illustrated by the fact that scientific communication was still sufficiently uncoordinated that it was possible for the work of Newton and Leibniz to proceed independently for many years without reciprocal knowledge and input. Disputes about the priority of their discoveries raged for centuries, fed by nationalistic tendencies in England and Germany.
    [Show full text]
  • The Roots of Industrial Engineering: Leonhard Euler – the Prolific
    The roots of industrial engineering: Leonhard Euler – the prolific man by Paul Kruger Leonhard Euler, a pioneering Euler made important discoveries in fields as diverse as infinitesimal Swiss mathematician and calculus and graph theory. He also introduced much of the modern physicist, was born in Basel mathematical terminology and notation. Among his contributions on 15 April 1707 to Paul Euler, to the language of Mathematics are the basic symbols π, e and i, a pastor of the Reformed the summation notation Σ and the LAST WORD Church, and Marguerite standard function notation f(x). He is also renowned for his work in Brucker, a pastor’s daughter. mechanics, fluid dynamics, optics and astronomy. Members of the Bernoulli At the age of 13, Euler was already dynasty, in particular Johann attending lectures at the University Leonhard Euler of Basel. He obtained his master’s Bernoulli (who was at the time degree in 1723 with a dissertation a reservoir. The plans for my mill were comparing the natural philosophy carried out geometrically and it could regarded as Europe’s foremost systems of Newton and Descartes. not raise a mouthful of water closer mathematician), were close In 1726, Euler completed his doctoral than 50 paces to the reservoir. Vanity thesis on the propagation of sound, of vanities! Vanity of geometry!” Tired family friends. entitled De Sono. On his father’s of the chiding of Frederick and Voltaire, wishes, Euler furthered his education who was also a member of Frederick’s by enrolling in the theology faculty, but court, Euler went to the Imperial devoted all his spare time to studying Russian Academy of Sciences in Mathematics.
    [Show full text]
  • H. Jerome Keisler : Foundations of Infinitesimal Calculus
    FOUNDATIONS OF INFINITESIMAL CALCULUS H. JEROME KEISLER Department of Mathematics University of Wisconsin, Madison, Wisconsin, USA [email protected] June 4, 2011 ii This work is licensed under the Creative Commons Attribution-Noncommercial- Share Alike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/ Copyright c 2007 by H. Jerome Keisler CONTENTS Preface................................................................ vii Chapter 1. The Hyperreal Numbers.............................. 1 1A. Structure of the Hyperreal Numbers (x1.4, x1.5) . 1 1B. Standard Parts (x1.6)........................................ 5 1C. Axioms for the Hyperreal Numbers (xEpilogue) . 7 1D. Consequences of the Transfer Axiom . 9 1E. Natural Extensions of Sets . 14 1F. Appendix. Algebra of the Real Numbers . 19 1G. Building the Hyperreal Numbers . 23 Chapter 2. Differentiation........................................ 33 2A. Derivatives (x2.1, x2.2) . 33 2B. Infinitesimal Microscopes and Infinite Telescopes . 35 2C. Properties of Derivatives (x2.3, x2.4) . 38 2D. Chain Rule (x2.6, x2.7). 41 Chapter 3. Continuous Functions ................................ 43 3A. Limits and Continuity (x3.3, x3.4) . 43 3B. Hyperintegers (x3.8) . 47 3C. Properties of Continuous Functions (x3.5{x3.8) . 49 Chapter 4. Integration ............................................ 59 4A. The Definite Integral (x4.1) . 59 4B. Fundamental Theorem of Calculus (x4.2) . 64 4C. Second Fundamental Theorem of Calculus (x4.2) . 67 Chapter 5. Limits ................................................... 71 5A. "; δ Conditions for Limits (x5.8, x5.1) . 71 5B. L'Hospital's Rule (x5.2) . 74 Chapter 6. Applications of the Integral........................ 77 6A. Infinite Sum Theorem (x6.1, x6.2, x6.6) . 77 6B. Lengths of Curves (x6.3, x6.4) .
    [Show full text]
  • Infinitesimal Methods in Mathematical Economics
    Infinitesimal Methods in Mathematical Economics Robert M. Anderson1 Department of Economics and Department of Mathematics University of California at Berkeley Berkeley, CA 94720, U.S.A. and Department of Economics Johns Hopkins University Baltimore, MD 21218, U.S.A. January 20, 2008 1The author is grateful to Marc Bettz¨uge, Don Brown, Hung- Wen Chang, G´erard Debreu, Eddie Dekel-Tabak, Greg Engl, Dmitri Ivanov, Jerry Keisler, Peter Loeb, Paul MacMillan, Mike Magill, Andreu Mas-Colell, Max Stinchcombe, Cathy Wein- berger and Bill Zame for their helpful comments. Financial sup- port from Deutsche Forschungsgemeinschaft, Gottfried-Wilhelm- Leibniz-F¨orderpreis is gratefully acknowledged. Contents 0Preface v 1 Nonstandard Analysis Lite 1 1.1 When is Nonstandard Analysis Useful? . 1 1.1.1 Large Economies . 2 1.1.2 Continuum of Random Variables . 4 1.1.3 Searching For Elementary Proofs . 4 1.2IdealElements................. 5 1.3Ultraproducts.................. 6 1.4InternalandExternalSets........... 9 1.5NotationalConventions............. 11 1.6StandardModels................ 12 1.7 Superstructure Embeddings . 14 1.8AFormalLanguage............... 16 1.9TransferPrinciple................ 16 1.10Saturation.................... 18 1.11InternalDefinitionPrinciple.......... 19 1.12 Nonstandard Extensions, or Enough Already with the Ultraproducts . 20 1.13HyperfiniteSets................. 21 1.14 Nonstandard Theorems Have Standard Proofs 22 2 Nonstandard Analysis Regular 23 2.1 Warning: Do Not Read this Chapter . 23 i ii CONTENTS 2.2AFormalLanguage............... 23 2.3 Extensions of L ................. 25 2.4 Assigning Truth Value to Formulas . 28 2.5 Interpreting Formulas in Superstructure Em- beddings..................... 32 2.6TransferPrinciple................ 33 2.7InternalDefinitionPrinciple.......... 34 2.8NonstandardExtensions............ 35 2.9TheExternalLanguage............. 36 2.10TheConservationPrinciple.......... 37 3RealAnalysis 39 3.1Monads..................... 39 3.2OpenandClosedSets............. 44 3.3Compactness.................
    [Show full text]