{"id":1809,"date":"2019-03-13T08:19:33","date_gmt":"2019-03-13T12:19:33","guid":{"rendered":"http:\/\/brickisland.net\/DDGSpring2019\/?p=1809"},"modified":"2019-03-14T04:37:24","modified_gmt":"2019-03-14T08:37:24","slug":"steiner-formula-for-surfaces-in-mathbbr3","status":"publish","type":"post","link":"https:\/\/brickisland.net\/DDGSpring2019\/2019\/03\/13\/steiner-formula-for-surfaces-in-mathbbr3\/","title":{"rendered":"Steiner Formula for Surfaces in \\(\\mathbb{R}^3\\)"},"content":{"rendered":"<p><a href=\"http:\/\/brickisland.net\/DDGSpring2019\/wp-content\/uploads\/2019\/03\/NormalOffset.svg\"><img decoding=\"async\" src=\"http:\/\/brickisland.net\/DDGSpring2019\/wp-content\/uploads\/2019\/03\/NormalOffset.svg\" alt=\"\" class=\"alignnone size-full wp-image-1811\" \/><\/a><\/p>\n<p>In <a href=\"http:\/\/brickisland.net\/DDGSpring2019\/2019\/03\/07\/lecture-15-discrete-curvature-i-integral_viewpoint\/\">the slides<\/a> we derived a Steiner formula for polyhedral surfaces in \\(\\mathbb{R}^3\\), by considering the Minkowski sum with a ball and working out expressions for the areas and curvatures associated with vertices, edges, and faces.  But we can also get a Steiner formula for smooth surfaces, using the expressions already derived in class.  In particular, recall that for a closed surface \\(f: M \\to \\mathbb{R}^3\\) with Gauss map \\(N\\), we can obtain the basic curvatures by just wedging together \\(df\\) and \\(dN\\) in all possible ways:<br \/>\n\\[\\begin{array}{rcl}<br \/>\ndf \\wedge df &#038;=&#038; 2NdA \\\\<br \/>\ndf \\wedge dN &#038;=&#038; 2HNdA \\\\<br \/>\ndN \\wedge dN &#038;=&#038; 2KNdA \\\\<br \/>\n\\end{array}<br \/>\n\\]<br \/>\nHere \\(H\\) and \\(K\\) denote the mean and Gauss curvature (resp.), and dA is the area form induced by \\(f\\).  For sufficiently small \\(t\\), taking a Minkowski sum with a ball is the same as pushing the surface in the normal direction a distance \\(t\\).  In other words, the surface<br \/>\n\\[<br \/>\n   f_t := f + tN<br \/>\n\\]<br \/>\nwill describe the &#8220;outer&#8221; boundary of the Minkowski sum; this surface has the same Gauss map \\(N\\) as the original one.  To get its area element, we can take the wedge product<br \/>\n\\[<br \/>\n\\begin{array}{rcl}<br \/>\ndf_t \\wedge df_t<br \/>\n&#038;=&#038; (df + t dN) \\wedge (df + t dN) \\\\<br \/>\n&#038;=&#038; df \\wedge df + 2t df \\wedge dN + t^2 dN \\wedge dN,<br \/>\n\\end{array}<br \/>\n\\]<br \/>\nwhere we have used the fact that \\(\\alpha \\wedge \\beta = \\beta \\wedge \\alpha\\) when \\(\\alpha,\\beta\\) are both \\(\\mathbb{R}^3\\)-valued 1-forms.  The list of identities above then yields<br \/>\n\\[<br \/>\n   df_t \\wedge df_t = (2 + 4tH + 2t^2 K)NdA,<br \/>\n\\]<br \/>\nor equivalently,<br \/>\n\\[<br \/>\n   \\fbox{\\(dA_t = (1+2tH+t^2K)dA.\\)}<br \/>\n\\]<br \/>\nIn other words, just as in the polyhedral case, the rate at which the area is growing is a polynomial in the ball radius \\(t\\); the coefficients of this polynomial are given by the basic curvatures of the surface (also known as <em>quermassintegrals!<\/em>).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In the slides we derived a Steiner formula for polyhedral surfaces in \\(\\mathbb{R}^3\\), by considering the Minkowski sum with a ball and working out expressions for the areas and curvatures associated with vertices, edges, and faces. But we can also get a Steiner formula for smooth surfaces, using the expressions already derived in class. In &hellip; <a href=\"https:\/\/brickisland.net\/DDGSpring2019\/2019\/03\/13\/steiner-formula-for-surfaces-in-mathbbr3\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Steiner Formula for Surfaces in \\(\\mathbb{R}^3\\)&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1809","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/posts\/1809","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/comments?post=1809"}],"version-history":[{"count":14,"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/posts\/1809\/revisions"}],"predecessor-version":[{"id":1825,"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/posts\/1809\/revisions\/1825"}],"wp:attachment":[{"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/media?parent=1809"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/categories?post=1809"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/brickisland.net\/DDGSpring2019\/wp-json\/wp\/v2\/tags?post=1809"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}