{"id":1889,"date":"2013-12-04T17:56:43","date_gmt":"2013-12-04T22:56:43","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/groisser\/?page_id=1889"},"modified":"2026-03-19T08:13:08","modified_gmt":"2026-03-19T12:13:08","slug":"hw","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/groisser\/classes\/4930_s14\/hw\/","title":{"rendered":"Homework Assignments"},"content":{"rendered":"\r\n<section class=\"fullwidth-text-block\">\r\n\t<div class=\"container px-0 pt-5\">\r\n\t\t<div class=\"row align-items-start\">\r\n\t\t\t<div class=\"col-12\">\r\n\t\t\t\t\n<h1 class=\"wp-block-heading\">Homework Assignments<\/h1>\n\n\n\n<h3 class=\"wp-block-heading\">MAT 4930, Section 1374<br>\nCurves and Surfaces<br>\nSpring 2014<\/h3>\n\n\n\n<p><i>Last updated Apr 22 02:29 EDT 2014 <\/i><\/p>\n\n\n\n<p>Homework problems and <b>due dates<\/b> (<i>not<\/i> the dates the problems are assigned) are listed below.<br>\nThis list, especially the due dates, will be updated frequently, usually in the late afternoon or evening<br>\nthe day of class or the next morning. Due dates, and assignments more than one lecture ahead, are<br>\nestimates; in particular, due dates may be moved either forward or back, and problems not currently<br>\non the list from a given section may be added later (but prior to their due dates, of course). Note that<br>\non a given day there may be problems due from more than one section of the book.<\/p>\n\n\n\n\n\n<p>Exam dates and some miscellaneous items may also appear below.<\/p>\n\n\n\n\n\n<p>If one day&#8217;s assignment seems lighter than average, it&#8217;s a good idea to read ahead and start doing<br>\nthe next assignment (if posted), which may be longer than average.<\/p>\n\n\n\n\n\n<p>Unless otherwise indicated, problems are from our textbook (O&#8217;Neill, <i>Elementary Differential Geometry<\/i>,<br>\nrevised 2nd edition). <i><b> It is intentional that some of the problems assigned do not have answers in<br>\nthe back of the book or solutions in a manual. An important part of learning mathematics<br>\nis learning how to figure out by yourself whether your answers are correct.<\/b><\/i><\/p>\n\n\n\n\n\n<p><b>Read the corresponding section of the book before working the problems. <\/b> The advice below<br>\nfrom James Stewart&#8217;s calculus textbooks is right on the money:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><i>Some students start by trying their homework problems and read the text only if they get stuck<br>\non an exercise. I suggest that a far better plan is to read and understand a section of the text<br>\nbefore attempting the exercises.<\/i><\/ul>\n\n\n\n\n\n\n\n<table style=\"background-color: #cccccc\" align=\"center\">\n<tbody>\n<tr>\n<th align=\"left\">Date due<\/th>\n<th align=\"left\">Section # \/ problem #s<\/th>\n<\/tr>\n<tr>\n<td>W 1\/8\/14<\/td>\n<td>No problems due. Read Section 1.1.<\/td>\n<\/tr>\n<tr>\n<td>F 1\/10\/14<\/td>\n<td>\n<li> Sect. 1.2 (p. 11)\/ 2, 3a,e, 5.<\/li>\n<li> Do the non-book homework problems assigned in class. <\/li>\n<li>Read Section 1.2.<\/li><\/td>\n<\/tr>\n<tr>\n<td>M 1\/13\/14<\/td>\n<td>\n<li> Sect. 1.3 (p. 15)\/ 1, 2, 3abcf, 4, 5. <\/li>\n<li>Read Section 1.3, and start reading Section 1.4.<\/li>\n<\/td>\n<\/tr>\n<tr>\n<td>W 1\/15\/14<\/td>\n<td>\n<li> Sect. 1.4 (pp. 22-23)\/ 4, 7. <i>Note for #4<\/i>: In this book, and in most math books other than Calc 1-2-3 and<br>\nDifferential Equations textbooks, &#8220;log&#8221; means <i>natural<\/i> log (the function you&#8217;re used to calling &#8220;ln&#8221;). <i>Note<br>\nfor #7<\/i>: &#8220;initial velocity&#8221; is defined in problem #6 (which we did in class on Monday).\n<\/li><li>Finish reading Section 1.4.<\/li><\/td>\n<\/tr>\n<tr>\n<td>F 1\/17\/14<\/td>\n<td>No new homework.<\/td>\n<\/tr>\n<tr>\n<td>W 1\/22\/14<\/td>\n<td>\n<li>Read Section 2.1. (We&#8217;ll come back to the remaining sections of Chapter 1 later.)\n<\/li><li> Sect. 2.1 (pp. 50-52)\/1ace, 2, 3 (&#8220;frame&#8221; = &#8220;orthonormal basis&#8221;; see p. 45), 11 (ignore the part about<br>\n&#8220;(<i>df<\/i>)(<b>v<\/b>)&#8221; for now). \n<\/li><li> Read the <a href=\"..\/hw_rules\">rules for hand-in homework<\/a>.\n<\/li><li> <b>Hand in the following problems:<\/b> Sect. 1.2\/3e; Sect. 1.3\/3c,4,5; Sect. 1.4\/7; Sect. 2.1\/3.\n<\/li><\/td>\n<\/tr>\n<tr>\n<td>F 1\/24\/14<\/td>\n<td>Sect. 2.1 (pp. 50-52)\/1bd, 4, 5.\n<\/td>\n<\/tr>\n<tr>\n<td>M 1\/27\/14<\/td>\n<td>No new homework.<\/td>\n<\/tr>\n<tr>\n<td>W 1\/29\/14<\/td>\n<td>\n<li>Sect. 2.2 (pp. 57-58)\/3, 4, 8, 10, 11 (assume \u03b1 is regular).<br>\n\u00a0\u00a0\u00a0Problems 3 and 4 are examples of something I mentioned in class: coefficients are fine-tuned so that<br>\n(assuming you make no mistakes), the speed is the square-root of a recognizable square.  In #3, see what<br>\nhappens if the coefficient of <i>t<\/i> in the last component of \u03b1(t) is changed to anything other than 1.  Similarly,<br>\nsee what happens if you change the coefficient of any of the three components of \u03b1(<i>t<\/i>) in #4.\n <\/li><\/td>\n<\/tr>\n<tr>\n<td>F 1\/31\/14<\/td>\n<td>\n<li> Sect. 2.2 (pp. 57-58)\/1, 2, 6c.\n<\/li><li>Review the <a href=\"..\/hw_rules\">rule for hand-in homework<\/a> that says, in boldface, &#8220;<b>leav[e] enough space for me<br>\nto write comments<\/b>.&#8221;  Look at the homework returned to you on Wednesday, and ask yourself<br>\nwhether you followed this rule.  Did you leave ample margins on the left side <i>and<\/i> right side <i>and<\/i><br>\ntop <i>and<\/i> bottom of each page?  Did you leave a reasonable amount of space between problems?<br>\nIf I had had a sentence-long, or several-sentence long, comment to make <i>anywhere<\/i> in your work,<br>\ncould I have fit it in close to what I was commenting on?  <!--PARAGRAPH_SEPARATOR--><p>Although the class was very good about following the other rules, roughly half the class didn&#8217;t<br>\nfollow the leave-me-space-for-comments rule. This particular assignment was mostly computational<br>\nand comparatively easy, so in most cases I had very few comments, and so it didn&#8217;t matter too<br>\nmuch&#8211;on <i>this<\/i> assignment&#8211;whether you left me space for comments. But in the future, please<br>\nmake sure to leave me the comment-space I&#8217;ve instructed you to leave.  <\/p><!--PARAGRAPH_SEPARATOR--><\/li><li> If I had any comments on, or took any points off, your solution to Sect. 1.2\/3e, you should review<br>\nDefinition 1.2 on p. 4, and the paragraph that starts with &#8220;Thus the value &#8230;&#8221; just after the definition.<br>\nMake sure you understand the difference between the <i>coordinates of a given point<\/i> (the numbers<br>\n<i>p<sub>1<\/sub>, p<sub>2<\/sub>, p<sub>3<\/sub><\/i> in the context of this definition) and the <i>coordinate functions <i>x<sub>1<\/sub>, x<sub>2<\/sub><\/i> and <i>x<sub>3<\/sub><\/i><\/i> (or <i>x, y,<\/i> and <i>z<\/i>)<br>\nfrom <b>R<\/b><sup>3<\/sup> to <b>R<\/b>. Otherwise, much greater confusion could result later in the course.<\/li><\/td>\n<\/tr>\n<tr>\n<td>M 2\/3\/14<\/td>\n<td>No new homework.<\/td>\n<\/tr>\n<tr>\n<td>W 2\/5\/14<\/td>\n<td>Do the problem assigned in class: For the helix discussed in class, compute <i>a<\/i> and <i>b<\/i> in terms of<br>\n<i>\u03ba<\/i> and <i>\u03c4<\/i>, and rewrite the formula for \u03b1(<i>t<\/i>) and <i>\u03b2<\/i>(<i>s<\/i>) using <i>\u03ba<\/i> and <i>\u03c4<\/i> in place of <i>a<\/i> and <i>b<\/i>.\n<\/td>\n<\/tr>\n<tr>\n<td>F 2\/7\/14<\/td>\n<td>\n<li> Sect. 2.1 (p. 52)\/ 12\n<\/li><li> Sect. 2.3 (pp. 66&#8211;69)\/ 2, 3, 5, 10. Note: In any problem in which the binormal <b>B<\/b> and\/or the torsion <i>\u03c4<\/i> appear, the assumption &#8220;wherever <i>\u03ba &gt; 0 <\/i>&#8221; is implicit.\n<p><br>\u00a0\u00a0\u00a0 <b>Geometric interpretation of #5<\/b>. For every <b>v<\/b> \u2208 <b>R<\/b><sup>3<\/sup>, the map <i>R<\/i><sub><b>v<\/b><\/sub>: <b>R<\/b><sup>3<\/sup> \u2192 <b>R<\/b><sup>3<\/sup> defined by <i>R<\/i><sub><b>v<\/b><\/sub>(<b>w<\/b>) = <b>v \u00d7 w <\/b><br>\nis linear. If <b>v<\/b> = <b>0<\/b> then <i>R<\/i><sub><b>v<\/b><\/sub> maps every vector <b>w<\/b> to <b>0<\/b>, of course. If <b>v<\/b> \u2260 <b>0<\/b>, then every vector <b>w<\/b> can be expressed uniquely in the form <i>c<\/i><b>v<\/b> + <b>w<\/b><sub>\u22a5<\/sub>, where <i>c<\/i> \u2208 <b>R<\/b> and <b>w<\/b><sub>\u22a5<\/sub> is perpendicular to <b>v<\/b>.  Since<br>\n<i>R<\/i><sub><b>v<\/b><\/sub>(<b>v<\/b>)= <b>v \u00d7 v <\/b> = <b>0<\/b>, the &#8220;interesting part&#8221; of <i>R<\/i><sub><b>v<\/b><\/sub> is what it does to vectors orthogonal to <b>v<\/b>. The set of these vectors is a two-dimensional subspace of <b>R<\/b><sup>3<\/sup>, the <i>orthogonal complement<\/i> <i>V<\/i><sup>\u22a5<\/sup> of the 1-dimensional subspace {all multiples of <b>v<\/b>}.  For every <b>w<\/b>\u2208 <i>V<\/i><sup>\u22a5<\/sup>, <i>R<\/i><sub><b>v<\/b><\/sub> rotates <b>w<\/b> by <i>\u03c0<\/i>\/2 within the plane <i>V<\/i><sup>\u22a5<\/sup>, and multiplies the length<br>\nby ||<b>v<\/b>||.  The <i>sense<\/i> of the rotation is counterclockwise as seen from the tip of <b>v<\/b>; i.e. for every nonzero<br>\n<b>w<\/b> \u2208 <i>V<\/i><sup>\u22a5<\/sup>, the ordered triple {<b>w<\/b>, <i>R<\/i><sub><b>v<\/b><\/sub>(<b>w<\/b>), <b>v<\/b>} is a right-handed triple of mutually orthogonal vectors.  For reasons a little beyond the scope of this course, the linear map <i>R<\/i><sub><b>v<\/b><\/sub> is called an <i>infinitesimal rotation<\/i>.<br>\n\u00a0\u00a0\u00a0 For <b>p<\/b>\u2208<b>R<\/b><sup>3<\/sup> and <b>v<sub>p<\/sub><\/b>\u2208T<b><sub>p<\/sub>R<\/b><sup>3<\/sup>, we can analogously define the linear map <i>R<\/i><sub><b>v<sub>p<\/sub><\/b><\/sub>: T<b><sub>p<\/sub>R<\/b><sup>3<\/sup> \u2192 T<b><sub>p<\/sub>R<\/b><sup>3<\/sup> by<br>\n<i>R<\/i><sub><b>v<sub>p<\/sub><\/b><\/sub>(<b>w<sub>p<\/sub><\/b>) = (<b>v \u00d7 w<\/b>)<sub><b>p<\/b><\/sub>.  The set of equations in problem 5 says that for all <i>s<\/i> in the domain of <i>\u03b2<\/i> at which the<br>\nFrenet frame {<b>T<\/b>(s), <b>N<\/b>(s), <b>B<\/b>(s)} is defined (those  <i>s<\/i> for which <i>\u03ba(s)<\/i> &gt; 0), the derivative of each element of the<br>\nFrenet frame is given by applying the infinitesimal rotation <i>R<sub>A(s)<\/sub><\/i> to that element.\n<\/p><\/li><\/td>\n<\/tr>\n<tr>\n<td>M 2\/10\/14 <\/td>\n<td>\n<li>Sect. 2.1 (p. 52)\/ 12\n<\/li><li>Sect. 2.3 (pp. 66&#8211;69)\/ 1, 6, 8, 9. In #8, &#8220;rotating through +90<sup>o<\/sup>&#8221; means &#8220;rotating <i>counterclockwise<\/i> through 90<sup>o<\/sup>&#8220;.\n<\/li><\/td>\n<\/tr>\n<tr>\n<td>W 2\/12\/14<\/td>\n<td>\n<ol>\n<li>(a) Let <i>f<\/i> : <b>R<\/b>\u2192<b>R<\/b>, and define \u03b1 : <b>R<\/b>\u2192<b>R<\/b><sup>3<\/sup> by\n<p>\u00a0\u00a0\u00a0\u00a0 <i>\u03b1<\/i>(<i>t<\/i>) = (<i>f<\/i>(<i>t<\/i>) cos(<i>t<\/i>), <i>f<\/i>(<i>t<\/i>) sin(<i>t<\/i>), <i>f<\/i>(<i>t<\/i>)).<\/p><!--PARAGRAPH_SEPARATOR--><p>\nIf <i>f<\/i> is monotone (increasing or decreasing), the Curve parametrized by <i>\u03b1<\/i> can reasonably be called a<br>\n&#8220;conical helix&#8221;. Figure out why.<\/p><!--PARAGRAPH_SEPARATOR--><p>\n\u00a0\u00a0\u00a0\u00a0For the rest of this problem, <i>f<\/i> and <i>\u03b1<\/i> are as above. <\/p><!--PARAGRAPH_SEPARATOR--><p>\n(b) For such a curve \u03b1, write down (in terms of <i>f<\/i> ) the integral that gives the arclength<br>\nfunction <i>s<\/i> of \u03b1 that is based at <i>t<\/i>=0 and is consistent with the orientation of \u03b1.<\/p><!--PARAGRAPH_SEPARATOR--><p>\n(c) Show that \u03b1 is regular provided there is no <i>a<\/i>\u2208<b>R<\/b> for which <i>f<\/i>(<i>a<\/i>) = <i>f&#8217; <\/i>(<i>a<\/i>) = 0. <\/p><!--PARAGRAPH_SEPARATOR--><p> (d) For the case <i>f<\/i>(<i>t<\/i>) = <i>e<sup>t<\/sup><\/i>, sketch the Curve parametrized by \u03b1. <\/p><!--PARAGRAPH_SEPARATOR--><p> (e) Again for the case <i>f<\/i>(<i>t<\/i>) = <i>e<sup>t<\/sup><\/i>, find an explicit formula for <i>s<\/i>(<i>t<\/i>), solve for <i>t<\/i> in terms of <i>s<\/i>, and write<br>\ndown the corresponding unit-speed reparametrization <i>\u03b2<\/i> of \u03b1.  <\/p><!--PARAGRAPH_SEPARATOR--><p> (f) What is the domain of <i>\u03b2<\/i> in part (e)? You should find that it is an interval of the form (\u2013 <i>a<\/i>,\u221e), where <i>a<\/i> &gt; 0.  What is the value of <i>a<\/i> telling you geometrically?<\/p>\n<\/li><li> Let <i>\u03b2: I<\/i> \u2192 <b>R<\/b><sup>3<\/sup> be a unit-speed curve, let <i>\u03bb<\/i> be a positive real number, and define a curve <i>\u03b3: I<\/i> \u2192 <b>R<\/b><sup>3<\/sup> by <i>\u03b3(t)=\u03bb\u03b2(t).<\/i> (That funny-looking letter for the new curve is a lower-case gamma, rendered poorly by WordPress.) The Curves parametrized by <i>\u03b2<\/i> and <i>\u03b3<\/i> are <i>similar<\/i> in the sense of Euclidean geometry: one is simply a &#8220;rescaled&#8221; version of the other. (In the case of closed Curves, the two curves have different size [unless <i>\u03bb<\/i>=1] but the same shape.)\n<p>(a) Find an arclength reparametrization <i>\u03bc: J<\/i>\u2192 <b>R<\/b><sup>3<\/sup> of <i>\u03b3<\/i>, where <i>J<\/i> is a conveniently chosen interval. <\/p><!--PARAGRAPH_SEPARATOR--><p>(b) Assume that the curvature function <i>\u03ba<sub>\u03b2<\/sub>:I<\/i> \u2192 <b>R<\/b> of <i>\u03b2<\/i> is everywhere positive, so that the torsion<br>\nfunction <i>\u03c4<sub>\u03b2<\/sub>: I<\/i>\u2192 <b>R<\/b> is defined.  Show that the curvature <i>\u03ba<sub>\u03bc<\/sub>: J<\/i> \u2192 <b>R<\/b> is also everywhere positive, and find<br>\nthe precise relation between the curvature functions <i>\u03ba<sub>\u03bc<\/sub><\/i> and <i>\u03ba<sub>\u03b2<\/sub><\/i>, and between the torsion functions <i>\u03c4<sub>\u03bc<\/sub><\/i><br>\nand <i>\u03c4<sub>\u03b2<\/sub><\/i>.  Also find the relation between the function <i>\u03ba<sub>\u03bc<\/sub><\/i>\/<i>\u03c4<sub>\u03bc<\/sub><\/i> and the function <i>\u03c4<sub>\u03b2<\/sub><\/i>\/<i>\u03ba<sub>\u03b2<\/sub>.<\/i>\n<\/p><\/li><\/ol>\n<\/td>\n<\/tr>\n<tr>\n<td>F 2\/14\/14<\/td>\n<td>\n<li> <b>Hand in the following problems:<\/b> Sect. 2.1\/ 12; <!--Sect. 2.2\/ 11;--> Sect. 2.3\/8; and the non-book problems<br>\n1bdf and 2 assigned with due-date 2\/12\/14. (In your write-up, label the non-book problems<br>\n&#8220;non-book #1&#8221; and &#8220;non-book #2&#8221;.) <\/li><\/td>\n<\/tr>\n<tr>\n<td>M 2\/17\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>W 2\/19\/14<\/td>\n<td>\n<li>Sect. 1.7 (pp. 40-41)\/ 1-5, 7. Read the instructions at the start of the exercises to see what map <i>F<\/i><br>\nthe first four problems refer to. <\/li><\/td>\n<\/tr>\n<tr>\n<td>F 2\/21\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>M 2\/24\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>W 2\/26\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>F 2\/28\/14<\/td>\n<td>\n<li>Redo problem 2 of the assignment due 2\/12\/14, as follows: (i) Change the assumption on <i>\u03b2<\/i> to,<br>\n&#8220;Let <i>\u03b2: I<\/i> \u2192 <b>R<\/b><sup>3<\/sup> be a regular curve.&#8221;  (ii) Directly compute the curvature <i>\u03ba<sub>\u03b3<\/sub><\/i> <i>: I<\/i> \u2192 <b>R<\/b> and (wherever<br>\n<i>\u03ba<sub>\u03b3<\/sub><\/i>\u2260 0) the torsion <i>\u03c4<sub>\u03b3<\/sub><\/i>and the ratio <i>\u03c4<sub>\u03b3<\/sub>\/\u03ba<sub>\u03b3<\/sub><\/i> <i>:I<\/i> \u2192 <b>R<\/b> of the curve <i>\u03b3<\/i> in terms of <i>\u03ba<sub>\u03b2<\/sub><\/i> and <i>\u03c4<sub>\u03b2<\/sub><\/i>, without<br>\nreparametrizing <i>\u03b3<\/i>.  <!--PARAGRAPH_SEPARATOR--><p>(Note: the problem due 2\/12\/14 originally had &#8220;<i>\u03ba<sub>\u03b3<\/sub>\/\u03c4<sub>\u03b3<\/sub><\/i>&#8221; where you now see &#8220;<i>\u03c4<sub>\u03b3<\/sub>\/\u03ba<sub>\u03b3<\/sub><\/i>&#8220;.  This problem<br>\nalways should have had &#8220;<i>\u03ba<sub>\u03b3<\/sub>\/\u03c4<sub>\u03b3<\/sub><\/i>&#8220;, since <i>\u03c4(t)<\/i> could be zero for some or all <i>t\u2208 I<\/i>, while <i>\u03ba(t)<\/i> was<br>\nassumed nonzero for all <i>t\u2208 I<\/i>.)<\/p><!--PARAGRAPH_SEPARATOR--><\/li><li> Sect. 3.1 (pp. 105-107)\/ 1-3, 7, 8. (We&#8217;ve done parts of these in class already.) Notes for #7:<br>\n(i) In between problems 6 and 7, the definition of a <i>group<\/i> is given.  Those of you who&#8217;ve taken<br>\nMAS 4301 will already know this definition. (ii) It is more common to call <i>E(3)<\/i> the Euclidean group<br>\n<i>in dimension 3<\/i> rather than <i>of order 3<\/i>. The  terminology &#8220;order of a group&#8221; is usually used only<br>\nfor finite groups, where it means the number of elements in the group.)<!--PARAGRAPH_SEPARATOR--><\/li><li> Sect. 3.3 (pp. 115-116)\/ 4.  I sketched this in class, but omitted several steps. The hint given in<br>\nthe book (see p. 116), which is that <i>C<\/i> has an eigenvector with eigenvalue 1 (equivalently, that the<br>\nmatrix <i>A<\/i> of <i>C<\/i>, with respect to a basis, has an eigenvector with eigenvalue 1), needs some<br>\njustification.  Here is an outline of an argument whose details you should fill in.\n<ol>\n<li> A cubic polynomial with real coefficients has at least one real root. (<i>Hint:<\/i> if the variable in the<br>\npolynomial is <i>\u03bb<\/i>, consider what happens as <i>\u03bb<\/i> \u2192\u221e and as <i>\u03bb<\/i> \u2192 \u2013\u221e, and use the Intermediate<br>\nValue Theorem.)\n<\/li><li> If <i>\u03bb<\/i><sub>3<\/sub> is a real root of the real, cubic polynomial <i>p<\/i>(<i>\u03bb<\/i>), then <i>p<\/i>(<i>\u03bb<\/i>)\/(<i>\u03bb<\/i>\u2013<i>\u03bb<\/i><sub>3<\/sub>) is a quadratic polynomial<br>\n<i>q<\/i>(<i>\u03bb<\/i>) with real coefficients.\n<\/li><li> If a quadratic polynomial <i>q<\/i>(<i>\u03bb<\/i>) with real coefficients has no real roots, then its roots are a<br>\ncomplex-conjugate pair <i>a+ bi, a\u2013bi<\/i>, where <i>b\u2260 0<\/i>.\n<\/li><li> Conclude from the above that if <i>p<\/i>(<i>\u03bb<\/i>) is a cubic polynomial with real coefficients, then\n<p> <i>p<\/i>(<i>\u03bb<\/i>) = c(<i>\u03bb<\/i>\u2013<i>\u03bb<\/i><sub>1<\/sub>) (<i>\u03bb<\/i>\u2013<i>\u03bb<\/i><sub>2<\/sub>)(<i>\u03bb<\/i>\u2013<i>\u03bb<\/i><sub>3<\/sub>), where <i>c<\/i>\u2208<b>R<\/b> is nonzero, <i>\u03bb<\/i><sub>3<\/sub> \u2208<b>R<\/b>, and <i>\u03bb<\/i><sub>1<\/sub>, <i>\u03bb<\/i><sub>2<\/sub> are either both real or are<br>\ncomplex conjugates of each other.<\/p>\n<\/li><li> Apply the preceding the to the characteristic polynomial of a 3\u00d73 real matrix <i>A<\/i>, i.e. the polynomial<br>\n<i>p<sub>A<\/sub>(\u03bb)<\/i> = det(<i>A\u2013\u03bb I<\/i>), to show that <i>p<sub>A<\/sub>(\u03bb)<\/i> = \u2013(<i>\u03bb<\/i>\u2013<i>\u03bb<\/i><sub>1<\/sub>) (<i>\u03bb<\/i>\u2013<i>\u03bb<\/i><sub>2<\/sub>) (<i>\u03bb<\/i>\u2013<i>\u03bb<\/i><sub>3<\/sub>), where <i>\u03bb<\/i><sub>1<\/sub>, and <i>\u03bb<\/i><sub>2<\/sub>, and <i>\u03bb<\/i><sub>3<\/sub> are as above.<br>\nRecall that  <i>\u03bb<\/i><sub>1<\/sub>, <i>\u03bb<\/i><sub>2<\/sub>, and <i>\u03bb<\/i><sub>3<\/sub> are the eigenvalues of <i>A<\/i>. Hence <i>A<\/i> has at least one real eigenvalue <i>\u03bb<\/i><sub>3<\/sub>.\n<\/li><li> Recall that det(<i>A<\/i>)= <i>\u03bb<\/i><sub>1<\/sub> <i>\u03bb<\/i><sub>2<\/sub> <i>\u03bb<\/i><sub>3<\/sub>. Hence if <i>A<\/i> is invertible, which is the case for all orthogonal matrices,<br>\nthen it has no zero eigenvalues, so every real eigenvalue is either positive or negative.\n<\/li><li> If <i>A<\/i>, as above, has a pair of complex-conjugate eigenvalues  <i>a\u00b1 bi<\/i>, deduce that det(<i>A<\/i>) = (<i>a<\/i><sup>2<\/sup> + <i>b<\/i><sup>2<\/sup>) <i>\u03bb<\/i><sub>3<\/sub>,<br>\nand hence that the sign of det(<i>A<\/i>) is the same as the sign of <i>\u03bb<\/i><sub>3<\/sub>. Deduce that (in this case), if<br>\ndet(<i>A<\/i>) &gt; 0 then <i>\u03bb<\/i><sub>3<\/sub> &gt; 0.\n<\/li><li> Since an orthogonal transformations preserve norms, and since there is at least one eigenvector<br>\nfor every real eigenvalue, the only possible real eigenvalues of an orthogonal matrix are \u00b11. \n<\/li><li> If <i>A<\/i> is the matrix of an orthogonal transformation of <b>R<\/b><sup>3<\/sup> and det(<i>A<\/i>) &gt; 0, then no matter how many real<br>\neigenvalues <i>A<\/i> has, at least one of the eigenvalues must be 1 (and there must be an eigenvector with this eigenvalue). \n<\/li><\/ol>\n<p>Hint for the remainder of this problem: show that if <b>e<\/b> is an eigenvector of an orthogonal transformation <i>C<\/i>,<br>\nthen <i>C<\/i> preserves the space of all vectors perpendicular to <b>e<\/b> (i.e. if <b>v<\/b>\u22a5<b>e<\/b>, then <i>C(v)<\/i>\u22a5<b>e<\/b>), a two-dimensional<br>\nsubspace (the <i>orthogonal complement<\/i> of the span of <b>e<\/b>).  Then apply this fact to a basis {<b>e<\/b><sub>1<\/sub>, <b>e<\/b><sub>2<\/sub>} of this orthogonal complement.\n <\/p><\/li><\/td>\n<\/tr>\n<tr>\n<td>M 3\/10\/14<\/td>\n<td>It&#8217;s okay if you don&#8217;t have this assignment done by Monday&#8217;s class. Enjoy your spring break. \n<li> Sect. 3.5\/ 1, 3<\/li><\/td>\n<\/tr>\n<tr>\n<td>W 3\/12\/14<\/td>\n<td>\n<li> 4.1\/ 1,3,4,6-10.  In 7a, &#8220;the equations &#8230; can be solved for <i>u<\/i> and <i>v<\/i>&#8221; means that &#8220;there exists a pair (<i>u,v<\/i>)<br>\nthat satisfies the equations,&#8221; not that there&#8217;s a mechanical procedure that will <i>produce<\/i> such a pair (<i>u,v<\/i>).<!--PARAGRAPH_SEPARATOR--><p><br>\u00a0\u00a0\u00a0 If you&#8217;ve taken complex analysis, the function <i>f<\/i> in #6 may look familiar to you; it&#8217;s the imaginary part<br>\nof \u00a0\u2013(<i>x + iy<\/i>)<sup>3<\/sup>. Getting rid of the minus sign has the same effect as rotating the surface by <i>\u03c0<\/i> about the<br>\n<i>z<\/i>-axis; it doesn&#8217;t change the shape. Similarly, using the real part of (<i>x + iy<\/i>)<sup>3<\/sup> instead of the imaginary part has the same effect as rotating the surface by <i>\u03c0<\/i>\/2 about the <i>z<\/i>-axis.  <\/p><\/li><\/td>\n<\/tr>\n<tr>\n<td>F 3\/14\/14<\/td>\n<td>No new homework; study for midterm.<\/td>\n<\/tr>\n<tr>\n<td>M 3\/17\/14<\/td>\n<td>\n<li> 1.5\/ 1, 3, 4, 5, 6a, 7, 9, 11.<\/li><\/td>\n<\/tr>\n<tr>\n<td>W 3\/19\/14<\/td>\n<td>\n<li> 4.1\/ 10, 11<\/li><\/td>\n<\/tr>\n<tr>\n<td>F 3\/21\/14<\/td>\n<td>\n<li> 4.1\/ 12\n<\/li><\/td>\n<\/tr>\n<tr>\n<td>M 3\/24\/14<\/td>\n<td>\n<li> 4.2\/ 1-4, 9<\/li><\/td>\n<\/tr>\n<tr>\n<td>W 3\/26\/14<\/td>\n<td>\n<li> 4.2\/ 6\n<\/li><li> 4.3\/ 1, 2, 4<\/li><\/td>\n<\/tr>\n<tr>\n<td>F 3\/28\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>M 3\/31\/14<\/td>\n<td>\n<li> 4.3\/ 3bc (see 3a&#8211;which we did in class&#8211;for context; also be aware that &#8220;Jacobian&#8221; in 3c means &#8220;determinant of the Jacobian matrix&#8221;), 5, 6, 11ab <\/li><\/td>\n<\/tr>\n<tr>\n<td>W 4\/2\/14<\/td>\n<td>\n<li> <b>Hand in the following problems:<\/b> Sect. 4.1\/ 4 (prove your answers), 8, 10, 12; Sect. 4.2\/ 9a (the domain <i>D<\/i> is the set of points (<i>u,v<\/i>) in <b>R<\/b><sup>2<\/sup> with <i> -\u03c0\/2 &lt; u &lt;\u03c0\/2<\/i> and no restriction on <i>v<\/i>); Sect. 4.3\/ 3c (in your writeup you may assume the result of 3b), 4b.<\/li><\/td>\n<\/tr>\n<tr>\n<td>F 4\/4\/14<\/td>\n<td>\n<li> Sect. 4.3\/ 7\n<\/li><li> Sect. 5.1\/ 4 (in part (b), the origin should be excluded from the cone), 5<\/li><\/td>\n<\/tr>\n<tr>\n<td>M 4\/7\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>W 4\/9\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>F 4\/11\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>M 4\/14\/14<\/td>\n<td>\n<li> Sect. 5.1\/ 3\n<\/li><li> Sect. 5.3\/ 3 (note typo: factor in front of integral should be 1\/(2\u03c0)), 7 (the &#8220;canonical isomorphisms&#8221; in part (b) are the linear maps T<sub>p<\/sub><b>R<\/b><sup>3<\/sup> \u2192 T<sub>q<\/sub><b>R<\/b><sup>3<\/sup> that carry <b>v<\/b><sub>p<\/sub> to <b>v<\/b><sub>q<\/sub>)\n<\/li><li> Read the examples in Sect. 5.4.  See the first three pages of this section for notation. (We covered the material on these pages in class, but not entirely in O&#8217;Neill&#8217;s notation.)\n<\/li><li> Sect. 5.4\/ 1,2 <\/li><\/td>\n<\/tr>\n<tr>\n<td>W 4\/16\/14<\/td>\n<td>\n<li> Sect. 5.4\/ 3 (a surface is called <i>flat<\/i> if its Gaussian curvature is identically 0, and <i>minimal<\/i> if its mean<br>\ncurvature is identically 0), 6, 7, 13, 17. #7 should say &#8220;Find the <i>Gaussian<\/i> curvature &#8230;&#8221;. In #6 and #7,<br>\nyou can use the formulas derived in #3; just replace (<i>u,v<\/i>) with (<i>x,y<\/i>). <!--PARAGRAPH_SEPARATOR--><p>&#8220;Minimal surfaces&#8221; get their name from the following: Let <i>C<\/i> be a simple closed Curve in <b>R<\/b><sup>3<\/sup>.  Consider<br>\nsurfaces <i>M<\/i> in <b>R<\/b><sup>3<\/sup> whose boundary is <i>C<\/i>, where &#8220;boundary&#8221; here means the set of points in <b>R<\/b><sup>3<\/sup> that are not<br>\nin <i>M<\/i> but to which some curve in <i>M<\/i> gets arbitrarily close. (For example, the equator of a sphere is the<br>\nboundary of the open upper hemisphere.) Among all such surfaces, suppose there is one that has smallest<br>\narea.  Then the mean curvature of this surface is identically 0.  (The proof is beyond the scope of this course.)<\/p><!--PARAGRAPH_SEPARATOR--><p><br>Problem 5.4\/ 3 is an introduction to the subject of <i>geometric partial differential equations<\/i>.  Suppose we ask<br>\nthe question: find a flat surface, or a minimal surface, subject to some other conditions. (Without other<br>\nconditions, a plane would be a cheap answer.) We can start by looking at surfaces that are given as a graph<br>\nof a real-valued function <i>f<\/i>; that&#8217;s exactly what a Monge patch gives you.  The geometric condition &#8220;Gaussian<br>\ncurvature identically zero&#8221; or &#8220;mean curvature identically zero&#8221; then translates into a <i>nonlinear partial<br>\ndifferential equation for f<\/i>, which one can try to solve (subject to whatever other conditions are in the problem).  Usually, it is extremely difficult to find any closed-form solutions to nonlinear PDEs.  Even the<br>\nexistence\/uniqueness theory for solutions of nonlinear PDEs is quite challenging. But often the geometric source of a geometric PDE provides insights that one can use to make clever guesses or simplifications.<br>\nThe mathematical literature on minimal surfaces alone is vast.<\/p><!--PARAGRAPH_SEPARATOR--><p><br>Generalizations of the geometric PDEs in 5.4\/3 arise from looking for surfaces of <i>constant<\/i> (not necessarily<br>\nzero)  Gaussian curvature or constant mean curvature.\n<\/p><\/li><\/td>\n<\/tr>\n<tr>\n<td>F 4\/18\/14<\/td>\n<td>No new homework<\/td>\n<\/tr>\n<tr>\n<td>M 4\/21\/14<\/td>\n<td>\n<li> Sect. 4.4\/ 1, 4c\n<\/li><li> Read Sect. 4.5 and Sect. 4.6.<\/li><\/td>\n<\/tr>\n<tr>\n<td>W 4\/23\/14<\/td>\n<td>Do the problems <a href=\"https:\/\/people.clas.ufl.edu\/groisser\/content-removed\/\">here<\/a>.\n<\/td>\n<\/tr>\n<tr>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n<p><br><br>\n<a href=\"..\/homepage\"> Back to class home page<\/a><\/p>\n\n\n\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t<\/div>\r\n<\/section>\r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":245,"featured_media":0,"parent":1936,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-1889","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/pages\/1889","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/users\/245"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/comments?post=1889"}],"version-history":[{"count":10,"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/pages\/1889\/revisions"}],"predecessor-version":[{"id":5306,"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/pages\/1889\/revisions\/5306"}],"up":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/pages\/1936"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/groisser\/wp-json\/wp\/v2\/media?parent=1889"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}