Scattering of Waves in the Phase Space, Quantum Mechanics, and Irreversibility

Total Page:16

File Type:pdf, Size:1020Kb

Scattering of Waves in the Phase Space, Quantum Mechanics, and Irreversibility EJTP 12, No. 32 (2015) 43–60 Electronic Journal of Theoretical Physics Scattering of Waves in the Phase Space, Quantum Mechanics, and Irreversibility E. M. Beniaminov∗† Russian State University for the Humanities, Miusskaya sq. 6, Moscow, GSP-3, 125993, Russia Received 29 November 2014, Accepted 19 December 2014, Published 10 January 2015 Abstract: We give an example of a mathematical model describing quantum mechanical processes interacting with medium. As a model, we consider the process of heat scattering of a wave function defined on the phase space. We consider the case when the heat diffusion takes place only with respect to momenta. We state and study the corresponding modified Kramers equation for this process. We consider the consequent approximations to this equation in powers of the quantity inverse to the medium resistance per unit of mass of the particle in the process. The approximations are constructed similarly to statistical physics, where from the usual Kramers equation for the evolution of probability density of the Brownian motion of a particle in the phase space, one deduces an approximate description of this process by the Fokker–Planck equation for the density of probability distribution in the configuration space. We prove that the zero (invertible) approximation to our model with respect to the large parameter of the medium resistance, yields the usual quantum mechanical description by the Schr¨odinger equation with the standard Hamilton operator. We deduce the next approximation to the model with respect to the negative power of the medium resistance coefficient. As a result we obtain the modified Schr¨odinger equation taking into account dissipation of the process in the initial model, and explaining the decoherence of the wave function. c Electronic Journal of Theoretical Physics. All rights reserved. Keywords: Quantum Mechanics; Kramers Equation; Waves in the Phase Space; Diffusion Scattering; Asymptotic Solutions; Decoherence PACS (2010): 03.65.-w; 03.65.Nk; 66.30.Ma; 03.65.Yz; 02.60.-x 1. Introduction In this paper we continue the study of the generalized Kramers equation introduced in the paper [1]. ∗ Email: [email protected] † Tel:+79162231515 44 Electronic Journal of Theoretical Physics 12, No. 32 (2015) 43–60 In [1], the generalized Kramers equation arose as a mathematical model of the scat- tering process of waves in the phase space under the action of medium in the heat equi- librium. This process is irreversible. In [1] it has been shown that, for certain parameters of the model, the process described by the generalized Kramers equation, is the compo- sition of a rapid transitional process and a slow process. The slow process, as proved in loc. cit., is approximately described by the Schr¨odinger equation used for description of quantum processes. The obtained approximation of the slow process is reversible. Thus, we have given an example of an irreversible process (heat scattering of waves in the phase space), for which it has been shown that the standard reversible quantum mechanical description of the motion of a particle arises as the asymptotic description of this process in the zeroth approximation. The purpose of the present paper is to construct an approximate equation describing the slow part of the process given by the generalized Kramers equation, with the precision showing dissipative effects in this process. As a result, we derive the modified Schr¨odinger equation taking into account dissipation of the process. The paper consists of four Sections and the Appendix. In the next Section we present the setting of the problem, the generalized Kramers equation for the heat scattering process of waves on the phase space, and the properties of the operators involved in the generalized Kramers equation. In Section 3 we recall our earlier results describing the process given by the generalized Kramers equation. We also give a method for the approximate description of this process in negative powers of the medium resistance coefficient, and state the main result of the paper, Theorem 4. In this Theorem we write down an equation describing the slow component of the studied process, taking into account dissipation. This equation is the modified Schr¨odinger equation, in which the process is not invertible. We show that consequences of the modified Schr¨odinger equation are the effects of decoherence and spontaneous jumps between the levels. In Section 4 we state some further possible directions of research and possibilities of comparison of the presented model with experiment. Proof of the main Theorem 4 of the paper is given in the Appendix. 2. Mathematical Setting of the Problem, and the Main Prop- erties of the Operators in the Equation Thus, we consider the following mathematical model of a process. A state of the process at each moment of time t ∈ R is given by a complex valued function ϕ[x, p, t] on the phase space (x, p) ∈ R2n,wheren is the dimension of the configuration space. Coordinates in the configuration space are given by a tuple of numbers x ∈ Rn, and momenta by a tuple of numbers p ∈ Rn. (Below everywhere we will write the arguments of a function in the square brackets, in order to distinguish an argument of a function from multiplication by a variable.) The generalized Kramers equation for a function ϕ[x, p, t] is defined as the following Electronic Journal of Theoretical Physics 12, No. 32 (2015) 43–60 45 equation: ∂ϕ = Aϕ + γBϕ, (1) ∂t n n 2 ∂V ∂ϕ pj ∂ϕ i pj where Aϕ = − − V − ϕ (2) ∂x ∂p m ∂x m j=1 j j j j=1 2 n ∂ ∂ ∂ϕ and Bϕ = pj + i ϕ + kBTm ; ∂p ∂x ∂p j=1 j j j m isthemassoftheparticle;V [x] is the potential function of external forces acting on the particle; i is the imaginary unit; is the Planck constant; γ = β/m is the medium resistance coefficient β per unit of mass of the particle; kB is the Boltzmann constant; T is the temperature of the medium. If we pass in equation (1) to the following dimensionless variables: √ p kBTm V [x] p = √ ,x = x, V [x]= , (3) kBTm kBT then in the new variables equation (1) takes the following form: ∂ϕ = Aϕ + γBϕ, (4) ∂t n n 2 kBT ∂V ∂ϕ ∂ϕ (pj) where Aϕ = − p − i V − ϕ (5) ∂x ∂p j ∂x j=1 j j j j=1 2 n ∂ ∂ ∂ϕ and Bϕ = p + i ϕ + . ∂p j ∂x ∂p j=1 j j j Note that the operator A is skew Hermitian, and the operator B is neither skew Hermitian neither self-adjoint. The operator B determines the scattering process of the wave function with respect to momenta and hence non-invertibility of the process. In this paper we consider the case when γ is a large quantity, i. e. the impact of the operator B on the general evolution process of the wave function is large. Properties of the operator B are presented in the following Theorem. Theorem 1. The operator B given by expression (5) has a full set of eigenfunc- tions (in the class of functions ϕ[x, p] tending to zero at infinity) with the eigenvalues 0, −1, −2,.... Respectively, the operator B is presented in the following form: ∞ B = − kPk, (6) k=0 where Pk are the projection operators onto the eigenspaces of the operator B with eigen- values −k. The projection operators Pk satisfy the relations PkPk = Pk,PkPk =0 for k = k ,PkB = B Pk = −kPk (7) 46 Electronic Journal of Theoretical Physics 12, No. 32 (2015) 43–60 ∞ and E = Pk, (8) k=0 where E is the identity operator. Proof of this Theorem will be given simultaneously with the proof of the following Theorem describing the form of the projection operators Pk. Hk p def H p ...H p Denote by k1...kn [ ] = k1 [ 1] kn [ n] the product of Hermite polynomials [7] of the corresponding variables, where k = k1 + ... + kn is the sum of degrees of the Hermite polynomials in the product. By definition, the Hermite polynomial is given by the expression p2 ∂ kj p2 H p def − − . kj [ j] =exp exp (9) 2 ∂pj 2 Let Sk1,...,kn and Ik1,...,kn be the operators given by the expressions def k ∂ ψk ,...,k = Sk ,...,k [ϕ] = H p + i ϕ[x ,p ]dp , (10) 1 n 1 n k1...kn ∂x Rn ϕ I ψ def k1,...,kn = k1,...,kn [ k1,...,kn ] = (11) 2 1 1 1 k − (p −s ) is(x−x) ... ψ x H p − s e 2 e ds dx . 3n/2 k1,...,kn [ ] k1...kn [ ] (2π) k1! kn! R2n Theorem 2. The projection operators Pk have the form k Pk = Ik1,...,kn Sk1,...,kn , (12) k1,...,kn=0 k1+...+kn=k S I and the operators k1,...,kn , k1,...,kn satisfy the relations S I ψ δ ...δ ψ , k1,...,kn k1,...,kn k1,...,kn = k1,k1 kn,kn k1,...,kn (13) δ k k k k where kiki equals 0 if i = i, and equals 1 if i = i. In particular, formulas (10), (11) and Theorem 2 imply that def ψ[x ]=S0¯[ϕ] = ϕ[x ,p]dp , (14) Rn 2 def 1 − (p −s ) is(x−x) ϕ0[x ,p]=I0¯[ψ] = ψ[x ]e 2 e ds dx , (15) (2π)3n/2 R2n 2 1 − (p −s ) is(x−x) P0ϕ = ϕ[x ,p ]dp e 2 e ds dx , (16) (2π)3n/2 R3n n 1 ∂ P1ϕ = p + i ϕ[x ,p ]dp × π 3n/2 j ∂x j=1 (2 ) j R3n 2 − (p −s ) is(x−x) (pj − sj)e 2 e ds dx .
Recommended publications
  • Think Python
    Think Python How to Think Like a Computer Scientist 2nd Edition, Version 2.2.18 Think Python How to Think Like a Computer Scientist 2nd Edition, Version 2.2.18 Allen Downey Green Tea Press Needham, Massachusetts Copyright © 2015 Allen Downey. Green Tea Press 9 Washburn Ave Needham MA 02492 Permission is granted to copy, distribute, and/or modify this document under the terms of the Creative Commons Attribution-NonCommercial 3.0 Unported License, which is available at http: //creativecommons.org/licenses/by-nc/3.0/. The original form of this book is LATEX source code. Compiling this LATEX source has the effect of gen- erating a device-independent representation of a textbook, which can be converted to other formats and printed. http://www.thinkpython2.com The LATEX source for this book is available from Preface The strange history of this book In January 1999 I was preparing to teach an introductory programming class in Java. I had taught it three times and I was getting frustrated. The failure rate in the class was too high and, even for students who succeeded, the overall level of achievement was too low. One of the problems I saw was the books. They were too big, with too much unnecessary detail about Java, and not enough high-level guidance about how to program. And they all suffered from the trap door effect: they would start out easy, proceed gradually, and then somewhere around Chapter 5 the bottom would fall out. The students would get too much new material, too fast, and I would spend the rest of the semester picking up the pieces.
    [Show full text]
  • Natural Domain of a Function • Range Calculations Table of Contents (Continued)
    ~ THE UNIVERSITY OF AKRON w Mathematics and Computer Science calculus Article: Functions menu Directory • Table of Contents • Begin tutorial on Functions • Index Copyright c 1995{1998 D. P. Story Last Revision Date: 11/6/1998 Functions Table of Contents 1. Introduction 2. The Concept of a Function 2.1. Constructing Functions • The Use of Algebraic Expressions • Piecewise Definitions • Descriptive or Conceptual Methods 2.2. Evaluation Issues • Numerical Evaluation • Symbolic Evalulation 2.3. What's in a Name • The \Standard" Way • Functions Named by the Depen- dent Variable • Descriptive Naming • Famous Functions 2.4. Models for Functions • A Function as a Mapping • Venn Diagram of a Function • A Function as a Black Box 2.5. Calculating the Domain and Range • The Natural Domain of a Function • Range Calculations Table of Contents (continued) 2.6. Recognizing Functions • Interpreting the Terminology • The Vertical Line Test 3. Graphing: First Principles 4. Methods of Combining Functions 4.1. The Algebra of Functions 4.2. The Composition of Functions 4.3. Shifting and Rescaling • Horizontal Shifting • Vertical Shifting • Rescaling 5. Classification of Functions • Polynomial Functions • Rational Functions • Algebraic Functions 1. Introduction In the world of Mathematics one of the most common creatures en- countered is the function. It is important to understand the idea of a function if you want to gain a thorough understanding of Calculus. Science concerns itself with the discovery of physical or scientific truth. In a portion of these investigations, researchers (or engineers) attempt to discern relationships between physical quantities of interest. There are many ways of interpreting the meaning of the word \relation- ships," but in Calculus we are most often concerned with functional relationships.
    [Show full text]
  • False Dilemma Wikipedia Contents
    False dilemma Wikipedia Contents 1 False dilemma 1 1.1 Examples ............................................... 1 1.1.1 Morton's fork ......................................... 1 1.1.2 False choice .......................................... 2 1.1.3 Black-and-white thinking ................................... 2 1.2 See also ................................................ 2 1.3 References ............................................... 3 1.4 External links ............................................. 3 2 Affirmative action 4 2.1 Origins ................................................. 4 2.2 Women ................................................ 4 2.3 Quotas ................................................. 5 2.4 National approaches .......................................... 5 2.4.1 Africa ............................................ 5 2.4.2 Asia .............................................. 7 2.4.3 Europe ............................................ 8 2.4.4 North America ........................................ 10 2.4.5 Oceania ............................................ 11 2.4.6 South America ........................................ 11 2.5 International organizations ...................................... 11 2.5.1 United Nations ........................................ 12 2.6 Support ................................................ 12 2.6.1 Polls .............................................. 12 2.7 Criticism ............................................... 12 2.7.1 Mismatching ......................................... 13 2.8 See also
    [Show full text]
  • Pivotal Decompositions of Functions
    PIVOTAL DECOMPOSITIONS OF FUNCTIONS JEAN-LUC MARICHAL AND BRUNO TEHEUX Abstract. We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon its values at two given elements. Pivotal decom- positions appear to hold for various function classes, such as the class of lattice polynomial functions or the class of multilinear polynomial functions. We also define function classes characterized by pivotal decompositions and function classes characterized by their unary members and investigate links between these two concepts. 1. Introduction A remarkable (though immediate) property of Boolean functions is the so-called Shannon decomposition, or Shannon expansion (see [20]), also called pivotal decom- position [2]. This property states that, for every Boolean function f : {0, 1}n → {0, 1} and every k ∈ [n]= {1,...,n}, the following decomposition formula holds: 1 0 n (1) f(x) = xk f(xk)+ xk f(xk) , x = (x1,...,xn) ∈{0, 1} , a where xk = 1 − xk and xk is the n-tuple whose i-th coordinate is a, if i = k, and xi, otherwise. Here the ‘+’ sign represents the classical addition for real numbers. Decomposition formula (1) means that we can precompute the function values for xk = 0 and xk = 1 and then select the appropriate value depending on the value of xk. By analogy with the cofactor expansion formula for determinants, here 1 0 f(xk) (resp. f(xk)) is called the cofactor of xk (resp. xk) for f and is derived by setting xk = 1 (resp.
    [Show full text]
  • Functional C
    Functional C Pieter Hartel Henk Muller January 3, 1999 i Functional C Pieter Hartel Henk Muller University of Southampton University of Bristol Revision: 6.7 ii To Marijke Pieter To my family and other sources of inspiration Henk Revision: 6.7 c 1995,1996 Pieter Hartel & Henk Muller, all rights reserved. Preface The Computer Science Departments of many universities teach a functional lan- guage as the first programming language. Using a functional language with its high level of abstraction helps to emphasize the principles of programming. Func- tional programming is only one of the paradigms with which a student should be acquainted. Imperative, Concurrent, Object-Oriented, and Logic programming are also important. Depending on the problem to be solved, one of the paradigms will be chosen as the most natural paradigm for that problem. This book is the course material to teach a second paradigm: imperative pro- gramming, using C as the programming language. The book has been written so that it builds on the knowledge that the students have acquired during their first course on functional programming, using SML. The prerequisite of this book is that the principles of programming are already understood; this book does not specifically aim to teach `problem solving' or `programming'. This book aims to: ¡ Familiarise the reader with imperative programming as another way of imple- menting programs. The aim is to preserve the programming style, that is, the programmer thinks functionally while implementing an imperative pro- gram. ¡ Provide understanding of the differences between functional and imperative pro- gramming. Functional programming is a high level activity.
    [Show full text]
  • Notes on Functional Programming with Haskell
    Notes on Functional Programming with Haskell H. Conrad Cunningham [email protected] Multiparadigm Software Architecture Group Department of Computer and Information Science University of Mississippi 201 Weir Hall University, Mississippi 38677 USA Fall Semester 2014 Copyright c 1994, 1995, 1997, 2003, 2007, 2010, 2014 by H. Conrad Cunningham Permission to copy and use this document for educational or research purposes of a non-commercial nature is hereby granted provided that this copyright notice is retained on all copies. All other rights are reserved by the author. H. Conrad Cunningham, D.Sc. Professor and Chair Department of Computer and Information Science University of Mississippi 201 Weir Hall University, Mississippi 38677 USA [email protected] PREFACE TO 1995 EDITION I wrote this set of lecture notes for use in the course Functional Programming (CSCI 555) that I teach in the Department of Computer and Information Science at the Uni- versity of Mississippi. The course is open to advanced undergraduates and beginning graduate students. The first version of these notes were written as a part of my preparation for the fall semester 1993 offering of the course. This version reflects some restructuring and revision done for the fall 1994 offering of the course|or after completion of the class. For these classes, I used the following resources: Textbook { Richard Bird and Philip Wadler. Introduction to Functional Program- ming, Prentice Hall International, 1988 [2]. These notes more or less cover the material from chapters 1 through 6 plus selected material from chapters 7 through 9. Software { Gofer interpreter version 2.30 (2.28 in 1993) written by Mark P.
    [Show full text]
  • 4 Trigonometry and Complex Numbers
    4 Trigonometry and Complex Numbers Trigonometry developed from the study of triangles, particularly right triangles, and the relations between the lengths of their sides and the sizes of their angles. The trigono- metric functions that measure the relationships between the sides of similar triangles have far-reaching applications that extend far beyond their use in the study of triangles. Complex numbers were developed, in part, because they complete, in a useful and ele- gant fashion, the study of the solutions of polynomial equations. Complex numbers are useful not only in mathematics, but in the other sciences as well. Trigonometry Most of the trigonometric computations in this chapter use six basic trigonometric func- tions The two fundamental trigonometric functions, sine and cosine, can be de¿ned in terms of the unit circle—the set of points in the Euclidean plane of distance one from the origin. A point on this circle has coordinates +frv w> vlq w,,wherew is a measure (in radians) of the angle at the origin between the positive {-axis and the ray from the ori- gin through the point measured in the counterclockwise direction. The other four basic trigonometric functions can be de¿ned in terms of these two—namely, vlq { 4 wdq { @ vhf { @ frv { frv { frv { 4 frw { @ fvf { @ vlq { vlq { 3 ?w? For 5 , these functions can be found as a ratio of certain sides of a right triangle that has one angle of radian measure w. Trigonometric Functions The symbols used for the six basic trigonometric functions—vlq, frv, wdq, frw, vhf, fvf—are abbreviations for the words cosine, sine, tangent, cotangent, secant, and cose- cant, respectively.You can enter these trigonometric functions and many other functions either from the keyboard in mathematics mode or from the dialog box that drops down when you click or choose Insert + Math Name.
    [Show full text]
  • Glossary from Math Analysis
    A Glossary for Pre-calculus These terms were identified during the Cal-PASS deconstruction of the California State Standards for Math Analysis, Linear Algebra, and Trigonometry By the Cal-PASS Central San Diego Math Professional Learning Council Bruce Arnold, Brenda Kracht, Judy Ross, Terrie Teegarden and Maurice Tompkins 1 Preface: In the deconstruction of the California state standards for trigonometry, linear algebra and mathematical analysis for the Cal-PASS Content Standards Deconstruction projects, it became apparent that terms were used for which no definition was given. The San Diego Central Cal-PASS Math Professional Learning Council felt that many of these terms might be unfamiliar to a precalculus instructor. Hence, a list of key terms and their appropriate definitions were developed, resulting in this document. These descriptions are intended to be explanatory rather than to provide precise mathematical rigor. Some terms, such as logarithms, are not included even though they are essential for calculus preparation because they do not appear in the precalculus standards. Many high schools combine some of the standards from trigonometry, linear algebra, and mathematical analysis to form a pre-calculus course. Pre-calculus courses in community colleges and four year institutions also combine the content of these standards. This integrated approach reflects the fact that these topics do not exist in isolation, but rather work in unity with each other. It is also important to note that the order of the standards, or even groups of standards, may not reflect the order in which they might appear in standard textbooks or course outlines. Suggested topic sequence for a pre-calculus course: Mathematical Analysis 4 and 6 Note that there are many topics loosely associated with 4 that are not mentioned, such as the Rational Root Theorem, Descartes’ Rule of signs, etc.
    [Show full text]
  • Dictionary of Mathematical Terms
    DICTIONARY OF MATHEMATICAL TERMS DR. ASHOT DJRBASHIAN in cooperation with PROF. PETER STATHIS 2 i INTRODUCTION changes in how students work with the books and treat them. More and more students opt for electronic books and "carry" them in their laptops, tablets, and even cellphones. This is This dictionary is specifically designed for a trend that seemingly cannot be reversed. two-year college students. It contains all the This is why we have decided to make this an important mathematical terms the students electronic and not a print book and post it would encounter in any mathematics classes on Mathematics Division site for anybody to they take. From the most basic mathemat- download. ical terms of Arithmetic to Algebra, Calcu- lus, Linear Algebra and Differential Equa- Here is how we envision the use of this dictio- tions. In addition we also included most of nary. As a student studies at home or in the the terms from Statistics, Business Calculus, class he or she may encounter a term which Finite Mathematics and some other less com- exact meaning is forgotten. Then instead of monly taught classes. In a few occasions we trying to find explanation in another book went beyond the standard material to satisfy (which may or may not be saved) or going curiosity of some students. Examples are the to internet sources they just open this dictio- article "Cantor set" and articles on solutions nary for necessary clarification and explana- of cubic and quartic equations. tion. The organization of the material is strictly Why is this a better option in most of the alphabetical, not by the topic.
    [Show full text]
  • CS1313 Standard Library Functions Lesson
    Standard Library Functions Outline 1. Standard Library Functions Outline 20. Programming: Return Type 2. Functions in Mathematics #1 21. More on Function Arguments 3. Functions in Mathematics #2 22. Function Argument Example Part 1 4. Functions in Mathematics #3 23. Function Argument Example Part 2 5. Function Argument 24. Function Argument Example Part 3 6. Absolute Value Function in C #1 25. Using the C Standard Math Library 7. Absolute Value Function in C #2 26. Function Call in Assignment 8. Absolute Value Function in C #3 27. Function Call in printf 9. A Quick Look at abs 28. Function Call as Argument 10. Function Call in Programming 29. Function Call in Initialization 11. Math Function vs Programming 30. Function Use Example Part 1 Function 31. Function Use Example Part 2 12. C Standard Library 32. Function Use Example Part 3 13. C Standard Library Function Examples 33. Function Use Example Part 4 14. Is the Standard Library Enough? 34. Evaluation of Functions in Expressions 15. Math: Domain & Range #1 35. Evaluation Example #1 16. Math: Domain & Range #2 36. Evaluation Example #2 17. Math: Domain & Range #3 37. Exercise: Calculating Roots 18. Programming: Argument Type 19. Argument Type Mismatch CS1313: Standard Library Functions Lesson CS1313 Fall 2020 1 Functions in Mathematics #1 “A rule that relates two variables, typically x and y, is called a function if to each value of x the rule assigns one and only one value of y.” http://www.themathpage.com/aPreCalc/functions.htm So, for example, if we have a function f(x) = x + 1 then
    [Show full text]
  • Programming in Scilab
    Programming in Scilab Micha¨elBaudin September 2011 Abstract In this document, we present programming in Scilab. In the first part, we present the management of the memory of Scilab. In the second part, we present various data types and analyze programming methods associated with these data structures. In the third part, we present features to design flexible and robust functions. In the last part, we present methods which allow to achieve good performances. We emphasize the use of vectorized functions, which allow to get the best performances, based on calls to highly optimized numerical libraries. Many examples are provided, which allow to see the effectiveness of the methods that we present. Contents 1 Introduction5 2 Variable and memory management5 2.1 The stack.................................6 2.2 More on memory management......................8 2.2.1 Memory limitations from Scilab.................8 2.2.2 Memory limitations of 32 and 64 bit systems.......... 10 2.2.3 The algorithm in stacksize ................... 11 2.3 The list of variables and the function who ................ 11 2.4 Portability variables and functions.................... 12 2.5 Destroying variables : clear ....................... 15 2.6 The type and typeof functions..................... 16 2.7 Notes and references........................... 17 2.8 Exercises.................................. 18 3 Special data types 18 3.1 Strings................................... 18 3.2 Polynomials................................ 22 3.3 Hypermatrices............................... 25 3.4 Type and dimension of an extracted hypermatrix........... 28 3.5 The list data type............................ 30 3.6 The tlist data type........................... 33 3.7 Emulating OO Programming with typed lists............. 36 1 3.7.1 Limitations of positional arguments............... 37 3.7.2 A "person" class in Scilab...................
    [Show full text]
  • Programming Languages and Lambda Calculi (Utah CS7520 Version)
    Programming Languages and Lambda Calculi (Utah CS7520 Version) Matthias Felleisen Matthew Flatt Draft: March 8, 2006 Copyright c 1989, 2003 Felleisen, Flatt 2 Contents I Models of Languages 7 Chapter 1: Computing with Text 9 1.1 Defining Sets ...................................... 9 1.2 Relations ........................................ 10 1.3 Relations as Evaluation ................................ 11 1.4 Directed Evaluation .................................. 11 1.5 Evaluation in Context ................................. 12 1.6 Evaluation Function .................................. 13 1.7 Notation Summary ................................... 13 Chapter 2: Structural Induction 15 2.1 Detecting the Need for Structural Induction ..................... 15 2.2 Definitions with Ellipses ................................ 17 2.3 Induction on Proof Trees ................................ 17 2.4 Multiple Structures ................................... 18 2.5 More Definitions and More Proofs .......................... 19 Chapter 3: Consistency of Evaluation 21 Chapter 4: The λ-Calculus 25 4.1 Functions in the λ-Calculus .............................. 25 4.2 λ-Calculus Grammar and Reductions ......................... 26 4.3 Encoding Booleans ................................... 28 4.4 Encoding Pairs ..................................... 29 4.5 Encoding Numbers ................................... 30 4.6 Recursion ........................................ 31 4.6.1 Recursion via Self-Application ........................ 32 4.6.2 Lifting Out Self-Application .........................
    [Show full text]