Is the Policy Gradient a Gradient?

Total Page:16

File Type:pdf, Size:1020Kb

Is the Policy Gradient a Gradient? Is the Policy Gradient a Gradient? Chris Nota Philip S. Thomas College of Information and Computer Sciences College of Information and Computer Sciences University of Massachusetts Amherst University of Massachusetts Amherst [email protected] [email protected] ABSTRACT is pessimal, regardless of whether the discounted or undiscounted The policy gradient theorem describes the gradient of the expected objective is considered. discounted return with respect to an agent’s policy parameters. The analysis in this paper applies to nearly all state-of-the-art However, most policy gradient methods drop the discount factor policy gradient methods. In Section 6, we review all of the policy from the state distribution and therefore do not optimize the dis- gradient algorithms included in the popular stable-baselines counted objective. What do they optimize instead? This has been an repository [9] and their associated papers, including A2C/A3C [13], open question for several years, and this lack of theoretical clarity ACER [28], ACKTR [30], DDPG [11], PPO [18], TD3 [6], TRPO [16], has lead to an abundance of misstatements in the literature. We and SAC [8]. We motivate this choice in Section 6, but we note 1 answer this question by proving that the update direction approxi- that all of these papers were published at top conferences and mated by most methods is not the gradient of any function. Further, have received hundreds or thousands of citations. We found that we argue that algorithms that follow this direction are not guar- all of the implementations of the algorithms used the “incorrect” anteed to converge to a “reasonable” fixed point by constructing a policy gradient that we discuss in this paper. While this is a valid counterexample wherein the fixed point is globally pessimal with algorithmic choice if properly acknowledged, we found that only respect to both the discounted and undiscounted objectives. We one of the eight papers acknowledged this choice, while three of motivate this work by surveying the literature and showing that the papers made erroneous claims regarding the discounted policy there remains a widespread misunderstanding regarding discounted gradient and others made claims that were misleading. The purpose policy gradient methods, with errors present even in highly-cited of identifying these errors is not to criticize the authors or the algo- papers published at top conferences. rithms, but to draw attention to the fact that confusion regarding the behavior of policy gradient algorithm exists at the very core of the RL community and has gone largely unnoticed by reviewers. 1 INTRODUCTION This has led to a proliferation of errors in the literature. We hope that by providing definitive answers to the questions associated Reinforcement learning (RL) is a subfield of machine learning in with these errors we are able to improve the technical precision which computational agents learn to maximize a numerical reward of the literature and contribute to the development of a better the- signal through interaction with their environment. Policy gradient oretical understanding of the behavior of reinforcement learning methods encode an agent’s behavior as a parameterized stochastic algorithms. policy and update the policy parameters according to an estimate of the gradient of the expected sum of rewards (the expected re- turn) with respect to those parameters. In practice, estimating the 2 NOTATION effect of a particular action on rewards received far in thefuture RL agents learn through interactions with an environment. An can be difficult, so almost all state-of-the-art implementations in- environment is expressed mathematically as a Markov decision stead consider an exponentially discounted sum of rewards (the process (MDP). An MDP is a tuple, ¹S; A; P; R;d0;γ º, where S is discounted return), which shortens the effective horizon considered the set of possible states of the environment, A is the set of actions when selecting actions. The policy gradient theorem [25] describes available to the agent, P : S × A × S ! »0; 1¼ is a transition the appropriate update direction for this discounted setting. How- function that determines the probability of transitioning between ever, almost all modern policy gradient algorithms deviate from states given an action, R : S × A ! [−Rmax; Rmax¼ is the expected the original theorem by dropping one of the two instances of the reward from taking an action in a particular state, bounded by discount factor that appears in the theorem. It has been an open some Rmax 2 R, d0 : S!»0; 1¼ is the initial state distribution, question for several years as to whether these algorithms are un- and γ 2 »0; 1¼ is the discount factor which decreases the utility of biased with respect to a different, related objective [26]. In this rewards received in the future. In the episodic setting, interactions paper, we answer this question and prove that most policy gradient with the environment are broken into independent episodes. Each algorithms, including state-of-the-art algorithms, do not follow the episode is further broken into individual timesteps. At each timestep, gradient of any function. Further, we show that for some tasks, the t, the agent observes a state, St , takes an action, At , transitions to fixed point of the update direction followed by these algorithms a new state, St+1, and receives a reward, Rt . Each episode begins with t = 0 and ends when the agent enters a special state called Proc. of the 19th International Conference on Autonomous Agents and Multiagent Systems the terminal absorbing state, s1. Once s1 is entered, the agent can (AAMAS 2020), B. An, N. Yorke-Smith, A. El Fallah Seghrouchni, G. Sukthankar (eds.), never leave and receives a reward of 0 forever. We assume that May 2020, Auckland, New Zealand © 2020 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved. 1ICML, NeurIPS, or ICLR, with the exception of PPO, which appears to have been published only on arXiv. AAMAS’20, May 2020, Auckland, New Zealand Chris Nota and Philip S. Thomas t limt!1 Pr¹St = s1º = 1, since otherwise, the episode may persist outer γ . We label this expression rJ?¹θº because the question of indefinitely and the continuing setting must be considered. whether or not it is the gradient of some objective function, J?, was A policy, π : S × A ! »0; 1¼, determines the probability that left open by Thomas [26]. Thomas [26] was only able to construct an agent will choose an action in a particular state. A parameter- J? in an impractically restricted setting where π did not affect the ized policy, πθ , is a policy that is defined as a function of some state distribution. The goal of this paper is to provide answers to parameter vector, θ, which may be the weights in a neural network, the following questions: values in a tabular representation, etc. The compatible features of • Is rJ?¹θº the gradient of some objective function? a parameterized policy represent how θ may be changed in order • If not, does rJ?¹θº at least converge to a reasonable policy? to make a particular action, a 2 A, more likely in a particular 2 S ¹ º @ θ ¹ º r ¹ º state, s , and are defined as ψ s; a B @θ ln π s; a . The value 4 J? θ IS NOT A GRADIENT θ function, Vγ : S! R, represents the expected discounted sum In this section, we answer the first of our two questions and show of rewards when starting in a particular state under policy πθ ; that the update direction used by almost all policy gradient algo- ; θ ¹ º E»Í1 k j ; ¼ rithms, rJ?¹θº, is not the gradient of any function using a proof that is, t Vγ s B k=0 γ Rt+k St =s θ , where conditioning 8 θ by contraposition with the Clairaut-Schwarz theorem on mixed on θ indicates that t; At ∼ π ¹St ; ·º. The action-value function, partial derivatives [19]. First, we present this theorem (Theorem Qθ : S × A ! R, is8 similar, but also considers the action taken; γ 4.1) and its contrapositive (Corollary 4.2). Next, we present Lemma θ Í1 k that is, t;Qγ ¹s; aº B E» γ Rt+k jSt =s; At =a;θ¼. The advan- r ¹ º 8 k=0 4.3, which allows us to rewrite J? θ in a new form. Finally, in tage function is the difference between the action-value function Theorem 4.4 we apply Corollary 4.2 and Lemma 4.3 and derive and the (state) value function: Aθ ¹s; aº Qθ ¹s; aº − V θ ¹sº. γ B γ γ a counterexample proving that J? does not, in general, exist, and objective J The of an RL agent is to maximize some function, , therefore that the “policy gradient” given by rJ?¹θº is not, in fact, of its policy parameters, θ. In the episodic setting, the two most a gradient. commonly stated objectives are the discounted objective, Jγ ¹θº = Í1 t Í1 Theorem 4.1. (Clairaut-Schwarz theorem): If f : Rn ! R E» t=0 γ Rt jθ¼, and the undiscounted objective, J¹θº=E» t=0 Rt jθ¼. The discounted objective has some convenient mathematical prop- exists and is continuously twice differentiable in some neighborhood erties, but it corresponds to few real-world tasks. Sutton and Barto of the point ¹a1; a2;:::; anº, then its second derivative is symmetric: [23] have even argued for its deprecation. However, we will see @f ¹a1; a2;:::; anº @f ¹a1; a2;:::; anº i; j : = : in Section 6 that the discounted objective is commonly stated as 8 @xi @xj @xj @xi a justification for the use of a discounted factor, even whenthe Proof.
Recommended publications
  • Lecture 9: Partial Derivatives
    Math S21a: Multivariable calculus Oliver Knill, Summer 2016 Lecture 9: Partial derivatives ∂ If f(x,y) is a function of two variables, then ∂x f(x,y) is defined as the derivative of the function g(x) = f(x,y) with respect to x, where y is considered a constant. It is called the partial derivative of f with respect to x. The partial derivative with respect to y is defined in the same way. ∂ We use the short hand notation fx(x,y) = ∂x f(x,y). For iterated derivatives, the notation is ∂ ∂ similar: for example fxy = ∂x ∂y f. The meaning of fx(x0,y0) is the slope of the graph sliced at (x0,y0) in the x direction. The second derivative fxx is a measure of concavity in that direction. The meaning of fxy is the rate of change of the slope if you change the slicing. The notation for partial derivatives ∂xf,∂yf was introduced by Carl Gustav Jacobi. Before, Josef Lagrange had used the term ”partial differences”. Partial derivatives fx and fy measure the rate of change of the function in the x or y directions. For functions of more variables, the partial derivatives are defined in a similar way. 4 2 2 4 3 2 2 2 1 For f(x,y)= x 6x y + y , we have fx(x,y)=4x 12xy ,fxx = 12x 12y ,fy(x,y)= − − − 12x2y +4y3,f = 12x2 +12y2 and see that f + f = 0. A function which satisfies this − yy − xx yy equation is also called harmonic. The equation fxx + fyy = 0 is an example of a partial differential equation: it is an equation for an unknown function f(x,y) which involves partial derivatives with respect to more than one variables.
    [Show full text]
  • Policy Gradient
    Lecture 7: Policy Gradient Lecture 7: Policy Gradient David Silver Lecture 7: Policy Gradient Outline 1 Introduction 2 Finite Difference Policy Gradient 3 Monte-Carlo Policy Gradient 4 Actor-Critic Policy Gradient Lecture 7: Policy Gradient Introduction Policy-Based Reinforcement Learning In the last lecture we approximated the value or action-value function using parameters θ, V (s) V π(s) θ ≈ Q (s; a) Qπ(s; a) θ ≈ A policy was generated directly from the value function e.g. using -greedy In this lecture we will directly parametrise the policy πθ(s; a) = P [a s; θ] j We will focus again on model-free reinforcement learning Lecture 7: Policy Gradient Introduction Value-Based and Policy-Based RL Value Based Learnt Value Function Implicit policy Value Function Policy (e.g. -greedy) Policy Based Value-Based Actor Policy-Based No Value Function Critic Learnt Policy Actor-Critic Learnt Value Function Learnt Policy Lecture 7: Policy Gradient Introduction Advantages of Policy-Based RL Advantages: Better convergence properties Effective in high-dimensional or continuous action spaces Can learn stochastic policies Disadvantages: Typically converge to a local rather than global optimum Evaluating a policy is typically inefficient and high variance Lecture 7: Policy Gradient Introduction Rock-Paper-Scissors Example Example: Rock-Paper-Scissors Two-player game of rock-paper-scissors Scissors beats paper Rock beats scissors Paper beats rock Consider policies for iterated rock-paper-scissors A deterministic policy is easily exploited A uniform random policy
    [Show full text]
  • Introduction to Shape Optimization
    Introduction to Shape optimization Noureddine Igbida1 1Institut de recherche XLIM, UMR-CNRS 6172, Facult´edes Sciences et Techniques, Universit´ede Limoges 123, Avenue Albert Thomas 87060 Limoges, France. Email : [email protected] Preliminaries on PDE 1 Contents 1. PDE ........................................ 2 2. Some differentiation and differential operators . 3 2.1 Gradient . 3 2.2 Divergence . 4 2.3 Curl . 5 2 2.4 Remarks . 6 2.5 Laplacian . 7 2.6 Coordinate expressions of the Laplacian . 10 3. Boundary value problem . 12 4. Notion of solution . 16 1. PDE A mathematical model is a description of a system using mathematical language. The process of developing a mathematical model is termed mathematical modelling (also written model- ing). Mathematical models are used in many area, as in the natural sciences (such as physics, biology, earth science, meteorology), engineering disciplines (e.g. computer science, artificial in- telligence), in the social sciences (such as economics, psychology, sociology and political science); Introduction to Shape optimization N. Igbida physicists, engineers, statisticians, operations research analysts and economists. Among this mathematical language we have PDE. These are a type of differential equation, i.e., a relation involving an unknown function (or functions) of several independent variables and their partial derivatives with respect to those variables. Partial differential equations are used to formulate, and thus aid the solution of, problems involving functions of several variables; such as the propagation of sound or heat, electrostatics, electrodynamics, fluid flow, and elasticity. Seemingly distinct physical phenomena may have identical mathematical formulations, and thus be governed by the same underlying dynamic. In this section, we give some basic example of elliptic partial differential equation (PDE) of second order : standard Laplacian and Laplacian with variable coefficients.
    [Show full text]
  • Vector Calculus and Differential Forms with Applications To
    Vector Calculus and Differential Forms with Applications to Electromagnetism Sean Roberson May 7, 2015 PREFACE This paper is written as a final project for a course in vector analysis, taught at Texas A&M University - San Antonio in the spring of 2015 as an independent study course. Students in mathematics, physics, engineering, and the sciences usually go through a sequence of three calculus courses before go- ing on to differential equations, real analysis, and linear algebra. In the third course, traditionally reserved for multivariable calculus, stu- dents usually learn how to differentiate functions of several variable and integrate over general domains in space. Very rarely, as was my case, will professors have time to cover the important integral theo- rems using vector functions: Green’s Theorem, Stokes’ Theorem, etc. In some universities, such as UCSD and Cornell, honors students are able to take an accelerated calculus sequence using the text Vector Cal- culus, Linear Algebra, and Differential Forms by John Hamal Hubbard and Barbara Burke Hubbard. Here, students learn multivariable cal- culus using linear algebra and real analysis, and then they generalize familiar integral theorems using the language of differential forms. This paper was written over the course of one semester, where the majority of the book was covered. Some details, such as orientation of manifolds, topology, and the foundation of the integral were skipped to save length. The paper should still be readable by a student with at least three semesters of calculus, one course in linear algebra, and one course in real analysis - all at the undergraduate level.
    [Show full text]
  • Using Surface Integrals for Checking the Archimedes' Law of Buoyancy
    Using surface integrals for checking the Archimedes’ law of buoyancy F M S Lima Institute of Physics, University of Brasilia, P.O. Box 04455, 70919-970, Brasilia-DF, Brazil E-mail: [email protected] Abstract. A mathematical derivation of the force exerted by an inhomogeneous (i.e., compressible) fluid on the surface of an arbitrarily-shaped body immersed in it is not found in literature, which may be attributed to our trust on Archimedes’ law of buoyancy. However, this law, also known as Archimedes’ principle (AP), does not yield the force observed when the body is in contact to the container walls, as is more evident in the case of a block immersed in a liquid and in contact to the bottom, in which a downward force that increases with depth is observed. In this work, by taking into account the surface integral of the pressure force exerted by a fluid over the surface of a body, the general validity of AP is checked. For a body fully surrounded by a fluid, homogeneous or not, a gradient version of the divergence theorem applies, yielding a volume integral that simplifies to an upward force which agrees to the force predicted by AP, as long as the fluid density is a continuous function of depth. For the bottom case, this approach yields a downward force that increases with depth, which contrasts to AP but is in agreement to experiments. It also yields a formula for this force which shows that it increases with the area of contact. PACS numbers: 01.30.mp, 01.55.+b, 47.85.Dh Submitted to: Eur.
    [Show full text]
  • Computer Problems for Vector Calculus
    Chapter: Vector Calculus Computer Problems for Vector Calculus 2 2 1. The average rainfall in Flobbertown follows the strange pattern R = (1 + sin x) e−x y , where x and y are distances north and east from one corner of the town. (a) Pick at least 2 values of x and sketch the rainfall function R(y) at that value. Label your plots with their x values. (b) Pick at least 2 values of y and sketch the rainfall function R(x) at that value. Label your plots with their x values. (c) Have a computer generate a 3D plot of R(x; y). Make sure you plot over a region that clearly shows the general behavior of the function, and includes all the x and y values you used for your sketches. Check if the computer plot matches your constant-latitude and constant-longitude sketches. (If it doesn't, figure out what you did wrong.) (d) Based on your computer plot, if you were to start at the position (π=4; 1) roughly what direction could you move in to keep R constant? Hint: You may find it easier to answer this if you make a second plot that zooms in on a small region around this point. 2. The town of Chewandswallow has been buried in piles of bread. The depth of bread is given by B = cos(x + y) + sin x2 + y2, where the town covers the region 0 ≤ x ≤ π=2, 0 ≤ y ≤ π. (a) Have a computer make a contour plot of B(x; y).
    [Show full text]
  • Chapter 3. Linearization and Gradient Equation Fx(X, Y) = Fxx(X, Y)
    Oliver Knill, Harvard Summer School, 2010 An equation for an unknown function f(x, y) which involves partial derivatives with respect to at least two variables is called a partial differential equation. If only the derivative with respect to one variable appears, it is called an ordinary differential equation. Examples of partial differential equations are the wave equation fxx(x, y) = fyy(x, y) and the heat Chapter 3. Linearization and Gradient equation fx(x, y) = fxx(x, y). An other example is the Laplace equation fxx + fyy = 0 or the advection equation ft = fx. Paul Dirac once said: ”A great deal of my work is just playing with equations and see- Section 3.1: Partial derivatives and partial differential equations ing what they give. I don’t suppose that applies so much to other physicists; I think it’s a peculiarity of myself that I like to play about with equations, just looking for beautiful ∂ mathematical relations If f(x, y) is a function of two variables, then ∂x f(x, y) is defined as the derivative of the function which maybe don’t have any physical meaning at all. Sometimes g(x) = f(x, y), where y is considered a constant. It is called partial derivative of f with they do.” Dirac discovered a PDE describing the electron which is consistent both with quan- respect to x. The partial derivative with respect to y is defined similarly. tum theory and special relativity. This won him the Nobel Prize in 1933. Dirac’s equation could have two solutions, one for an electron with positive energy, and one for an electron with ∂ antiparticle One also uses the short hand notation fx(x, y)= ∂x f(x, y).
    [Show full text]
  • Class: B. Tech (Unit I)
    Class: B. Tech (Unit I) I have taken all course materials for Unit I from Book Introduction to Electrodynamics by David J. Griffith (Prentice- Hall of India Private limited). Students can download this book form given web address; Web Address : https://b-ok.cc/book/5103011/55c730 All topics of unit I (vector calculus & Electrodynamics) have been taken from Chapter 1, Chapter 7 & Chapter 8 from said book ( https://b-ok.cc/book/5103011/55c730 ). I am sending pdf file of Chapter 1 Chapter 7 & chapter 8. Unit-I: Vector Calculus & Electrodynamics: (8 Hours) Gradient, Divergence, curl and their physical significance. Laplacian in rectangular, cylindrical and spherical coordinates, vector integration, line, surface and volume integrals of vector fields, Gauss-divergence theorem, Stoke's theorem and Green Theorem of vectors. Maxwell equations, electromagnetic wave in free space and its solution in one dimension, energy and momentum of electromagnetic wave, Poynting vector, Problems. CHAPTER 1 Vector Analysis 1.1 VECTOR ALGEBRA 1.1.1 Vector Operations If you walk 4 miles due north and then 3 miles due east (Fig. 1.1), you will have gone a total of 7 miles, but you’re not 7 miles from where you set out—you’re only 5. We need an arithmetic to describe quantities like this, which evidently do not add in the ordinary way. The reason they don’t, of course, is that displace- ments (straight line segments going from one point to another) have direction as well as magnitude (length), and it is essential to take both into account when you combine them.
    [Show full text]
  • Calculus: Intuitive Explanations
    Calculus: Intuitive Explanations Radon Rosborough https://intuitiveexplanations.com/math/calculus-intuitive-explanations/ Intuitive Explanations is a collection of clear, easy-to-understand, intuitive explanations of many of the more complex concepts in calculus. In this document, an “intuitive” explanation is not one without any mathematical symbols. Rather, it is one in which each definition, concept, and part of an equation can be understood in a way that is more than “a piece of mathematics”. For instance, some textbooks simply define mathematical terms, whereas Intuitive Explanations explains what idea each term is meant to represent and why the definition has to be the way it is in order for that idea to be captured. As another example, the proofs in Intuitive Explanations avoid steps with no clear motivation (like adding and subtracting the same quantity), so that they seem natural and not magical. See the table of contents for information on what topics are covered. Before each section, there is a note clarifying what prerequisite knowledge about calculus is required to understand the material presented. Section 1 contains a number of links to other resources useful for learning calculus around the Web. I originally wrote Intuitive Explanations in high school, during the summer between AP Calculus BC and Calculus 3, and the topics covered here are, generally speaking, the topics that are covered poorly in the textbook we used (Calculus by Ron Larson and Bruce Edwards, tenth edition). Contents 1 About Intuitive Explanations ................................. 4 2 The Formal Definition of Limit ................................ 5 2.1 First Attempts ...................................... 6 2.2 Arbitrary Closeness .................................... 7 2.3 Using Symbols .....................................
    [Show full text]
  • 24 Aug 2017 the Shape Derivative of the Gauss Curvature
    The shape derivative of the Gauss curvature∗ An´ıbal Chicco-Ruiz, Pedro Morin, and M. Sebastian Pauletti UNL, Consejo Nacional de Investigaciones Cient´ıficas y T´ecnicas, FIQ, Santiago del Estero 2829, S3000AOM, Santa Fe, Argentina. achicco,pmorin,[email protected] August 25, 2017 Abstract We introduce new results about the shape derivatives of scalar- and vector-valued functions. They extend the results from [8] to more general surface energies. In [8] Do˘gan and Nochetto consider surface energies defined as integrals over surfaces of functions that can depend on the position, the unit normal and the mean curvature of the surface. In this work we present a systematic way to derive formulas for the shape derivative of more general geometric quantities, including the Gauss curvature (a new result not available in the literature) and other geometric invariants (eigenvalues of the second fundamental form). This is done for hyper-surfaces in the Euclidean space of any finite dimension. As an application of the results, with relevance for numerical methods in applied problems, we introduce a new scheme of Newton-type to approximate a minimizer of a shape functional. It is a mathematically sound generalization of the method presented in [5]. We finally find the particular formulas for the first and second order shape derivative of the area and the Willmore functional, which are necessary for the Newton-type method mentioned above. 2010 Mathematics Subject Classification. 65K10, 49M15, 53A10, 53A55. arXiv:1708.07440v1 [math.OC] 24 Aug 2017 Keywords. Shape derivative, Gauss curvature, shape optimization, differentiation formulas. 1 Introduction Energies that depend on the domain appear in applications in many areas, from materials science, to biology, to image processing.
    [Show full text]
  • All-Action Policy Gradient Methods: a Numerical Integration Approach
    All-Action Policy Gradient Methods: A Numerical Integration Approach Benjamin Petit Loren Amdahl-Culleton Yao Liu Stanford University Stanford University Stanford University [email protected] [email protected] [email protected] Jimmy Smith Pierre-Luc Bacon Stanford University Stanford University [email protected] [email protected] Abstract While often stated as an instance of the likelihood ratio trick [Rubinstein, 1989], the original policy gradient theorem [Sutton et al., 1999] involves an integral over the action space. When this integral can be computed, the resulting “all- action" estimator [Sutton et al., 2001] provides a conditioning effect [Bratley et al., 1987] reducing the variance significantly compared to the REINFORCE estimator [Williams, 1992]. In this paper, we adopt a numerical integration perspective to broaden the applicability of the all-action estimator to general spaces and to any function class for the policy or critic components, beyond the Gaussian case con- sidered by Ciosek and Whiteson [2018]. In addition, we provide a new theoretical result on the effect of using a biased critic which offers more guidance than the previous “compatible features" condition of Sutton et al. [1999]. We demonstrate the benefit of our approach in continuous control tasks with nonlinear function approximation. Our results show improved performance and sample efficiency. 1 Introduction Likelihood ratio (LR) gradient estimators [Aleksandrov et al., 1968, Glynn, 1987, Reiman and Weiss, 1989, Rubinstein, 1989] have been widely used in reinforcement learning [Sutton and Barto, 2018] since the seminal work of Williams [1992] in the class of policy gradient methods [Kimura et al., 1995, 1997, Kimura and Kobayashi, 1998, Marbach and Tsitsiklis, 1998, Sutton et al., 1999, Konda and Tsitsiklis, 2000, Baxter and Bartlett, 2001].
    [Show full text]
  • 8/6/2020 PRACTICE EXAM II Maths 21A, O. Knill, Summer 2020
    8/6/2020 PRACTICE EXAM II Maths 21a, O. Knill, Summer 2020 Name: • Start by printing your name in the above box. • Try to answer each question on the same page as the question is asked. If needed, use the back or the next empty page for work. • Do not detach pages from this exam packet or unstaple the packet. • Please try to write neatly. Answers which are illegible for the grader can not be given credit. • No notes, books, calculators, computers, or other electronic aids are allowed. • Problems 1-3 do not require any justifications. For the rest of the problems you have to show your work. Even correct answers without derivation can not be given credit. • You have 180 minutes time to complete your work. 1 20 2 10 3 10 4 10 5 10 6 10 7 10 8 10 9 10 10 10 11 10 12 10 13 10 Total: 140 1 Problem 1) (20 points) No justifications are necessary The distance d between a point P and a line through two distinct points 1) T F A; B is given by d = jAP~ × AB~ j=jAB~ j. Solution: You know the distance formula! The set of all points in three dimensional space satisfying x2 + y2 = 1 define 2) T F a circle. Solution: it is a cylinder. The surface area of a surface parametrized by ~r(u; v) on a parameter region 3) T F RR R is given by R jru × rvj dudv. Solution: Yes, now it is the right formula! In the midterm there had been a square.
    [Show full text]