Understanding Student Use of Differentials in Physics Integration Problems

Total Page:16

File Type:pdf, Size:1020Kb

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. Developing could be r, l, and t, each representing a different meaning expertise to use integration in physics is both necessary associated with the corresponding physical system. The and important for students to fully understand physics difference of using symbols in math and physics causes concepts as well as transfer their learning to new situations. many difficulties for students as they use mathematical Studies have reported that students are typically good at notations [4]. Differential terms are context dependent, evaluating a predetermined mathematical integral, but often representing an infinitesimal amount or an infinitesi- often struggle with setting up integrals in physics problems mal change of a physical quantity. Compared with expert [1,2]. Setting up integrals in a physics problem can be physicists, novice students have not developed a sophisti- divided into several steps: setting up the expression for cated understanding of mathematical concepts and they an infinitesimal quantity (e.g., dE, dB), accumulating the have less experience in physics problem solving. In this infinitesimal quantity, determining the variable of integra- study, we investigate students’ reasoning about differen- tion, and turning the integral into a form that can be tials in physics problems requiring integration. We inves- evaluated mathematically [2]. Hence, using integration in tigate student reasoning of this topic through the lens of physics requires students to not only understand the con- resources [5] and conceptual metaphors [6]. cept of an integral as representing a Riemann sum but also There are three main purposes of this paper. First, we to correctly use a differential concept to express relations focus on the mathematical resources that students activate between physical quantities. For example, to construct the with their application of the differential concept in a phys- dE ¼ kdq=r2 expression from the fundamental Coulomb’s ics context. The analysis of mathematical resources pro- E ¼ kq=r2 law , a student needs to develop the understand- vides us with deeper insights into how students apply their dq dE ing of the differential terms (i.e., , ) in the context of mathematical learning to physics problem solving. Second, an electric field. In this paper, we mainly focus on students’ we identify the conceptual metaphors involved in students’ reasoning of the differential terms in physics equations as use of mathematical differentials and prove the existence they solve physics integration problems. of metaphors in students’ higher-level mathematical think- Physicists construct notations based on a specific ing (i.e., calculus). First studied in cognitive linguistics, physical situation instead of following prescriptive conceptual metaphors are a kind of intuitive knowledge that describes mappings between the source domains, usu- *[email protected] ally from our interactions with the physical world, and abstract concepts in target domains such as mathematics. Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distri- Identifying the conceptual metaphors that appear in student bution of this work must maintain attribution to the author(s) and discourse illustrates how concrete experiential notions the published article’s title, journal citation, and DOI. might affect students’ construction of scientific reasoning. 1554-9178=13=9(2)=020108(14) 020108-1 Published by the American Physical Society DEHUI HU AND N. SANJAY REBELLO PHYS. REV. ST PHYS. EDUC. RES. 9, 020108 (2013) It offers an alternative and perhaps fundamental explana- ‘‘amount of x’’ or ‘‘x increment’’; in other words, it was tion of student thinking. Third, we amalgamate the two more or less the same as x. It is clear that students did not frameworks—resources and conceptual metaphors— understand the symbols of differentiation or the approach which have previously typically been used separately. We to differentiation. Orton pointed out that ‘‘some students illustrate how each framework serves different purposes are introduced to differentiation as a rule to be applied and how they could be fused together to understand student without much attempt to reveal the reasons for and justi- reasoning. fications of the procedure.’’ In another interview about the In the next section, we give a brief review of related integration concept, Orton found that very few students literature on students’ understanding of a differential con- understood integration as the limit of a Riemann sum [1]. cept in the context of physics integration problems. In Artigue et al. [9] administered questionnaires to both Sec. III, we discuss the conceptual framework that we physics and mathematics students to investigate their con- chose for this study. In Sec. IV, we describe our research ceptions about differentials (e.g., dx, dl). In particular, she setting which includes the student population and method- discussed two extreme tendencies in students’ responses. ology used to collect and analyze our data. In Sec. V,we First, the differential element lost all meaning except that it present the results of our study. In Sec. VI, we discuss the indicated the variable of integration which may have possible implications for instruction. In Sec. VII, we dis- excluded other meanings. Second, the differential element cuss the main findings and the limitations of this study, as had material content, such as ‘‘dl is a small length’’ or ‘‘a well as future work. little bit of wire.’’ Artigue argued that the terms (e.g., small and little bit) were associated with ‘‘looseness in reason- II. RELEVANT LITERATURE ing’’ indicating students’ lack of a rigorous understanding of the mathematical concept, even though this reasoning is In this section we review previous studies in two areas convenient and effective in physics. which are closely related to our work. First, we briefly discuss several prior studies about students’ understanding Several other studies [10,11] in math education also of the differential concept in mathematics education. Since showed that students do not have a deep conceptual under- all of the students in our calculus-based physics classes standing of calculus concepts. Students learn the concepts have previously taken calculus, previous research in as procedures and their understanding is often bereft of mathematics education provides us with the necessary contextual meaning. background to understand their prior mathematics knowl- edge and what we could possibly observe in their mathe- B. Student application of calculus in physics matical thinking in physics contexts. It also allows us to see In physics education research, several studies indicated what mathematicians value in students’ understanding of students’ lack of ability to apply the integral concept the differential concept and reflect on which of these successfully in physics contexts [2,12,13]. In mathematics, attributes physicists might perceive as valuable in students’ students often learn how to follow an algorithm to evaluate thinking. Next, we provide an overview of the literature on an integral and operate symbols without referring to any students’ difficulties with setting up integrals from studies concrete physical situations. Some of their conceptual in physics education research. Our work is motivated and difficulties with physics integration problems could be built upon these previous studies. attributed to their insufficient understanding of mathemat- ics concepts, such as their understanding of an integral as a A. Student understanding of calculus concepts sum and the area-integral relation
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]
  • 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]
  • 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 .
    [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]