{"id":3155,"date":"2021-08-10T19:09:52","date_gmt":"2021-08-11T00:09:52","guid":{"rendered":"https:\/\/sites.williams.edu\/Morgan\/?p=3155"},"modified":"2021-08-10T19:09:56","modified_gmt":"2021-08-11T00:09:56","slug":"wulff-shape-isoperimetric","status":"publish","type":"post","link":"https:\/\/sites.williams.edu\/Morgan\/2021\/08\/10\/wulff-shape-isoperimetric\/","title":{"rendered":"Wulff Shape Isoperimetric"},"content":{"rendered":"<p>The following old post-publication correspondence provides some information and questions on the original proof that the Wulff shape minimizes anisotropic surface energy for fixed volume, as treated in our paper:<\/p>\n<p><strong>MR1297699<\/strong> <strong>(95g:49080)<\/strong><br \/>\n<a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/author.html?mrauthid=42000\">Brothers, John E.<\/a> <span class=\"instInfo\"><a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/institution.html?code=1-IN\">(1-IN)<\/a><\/span>; <a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/author.html?mrauthid=201100\">Morgan, Frank<\/a> <span class=\"instInfo\"><a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/institution.html?code=1-WLMS\">(1-WLMS)<\/a><\/span><br \/>\n<span class=\"title\">The isoperimetric theorem for general integrands.<\/span><br \/>\n<a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/journaldoc.html?id=714\"><em>Michigan Math. J.<\/em><\/a> <a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/publications.html?pg1=ISSI&amp;s1=135778\">41 <\/a><a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/publications.html?pg1=ISSI&amp;s1=135778\">(1994), <\/a><a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/publications.html?pg1=ISSI&amp;s1=135778\">no. 3,<\/a> 419\u2013431.<br \/>\n<a href=\"https:\/\/mathscinet.ams.org\/mathscinet\/search\/mscdoc.html?code=49Q20\">49Q20<\/a><!--more--><\/p>\n<p>From: Frank.Morgan@williams.edu<br \/>\nSubject: Gromov reference<br \/>\nDate: September 3, 1994 at 3:50:28 PM EDT<br \/>\nTo: Brothers<br \/>\nCc: Hutchings, Taylor<\/p>\n<p>Dear John,<\/p>\n<p>After all this time I have found the mythical original Gromov proof of the isoperimetric inequality:<\/p>\n<p>[G] M. Gromov, Isoperimetric inequalities in Riemannian manifolds, Appendix I to Vitali D. Milman and Gideon Schechtman, Asymptotic Theory of Finite Dimensional Normed Spaces, Lecture Notes in Mathematics, No. 1200, Springer-Verlag, 1986.<\/p>\n<p>The big surprise to me was that Gromov treats general norms, which I thought was my idea. Indeed, he attributes the isoperimetric and Sobolev inequalities for general norms to Brunn&#8217;s inaugural dissertation in Munich in 1887, 14 years before Wulff! Through the NY Public Library I have learned that there are copies of Brunn&#8217;s dissertation at Brown, Michigan, and Princeton and I have requested it through interlibrary loan. I may send a further revision of this memo after I have seen it.<\/p>\n<p>Gromov [G] points out uniqueness among smoothly bounded sets and remarks that the isoperimetric inequality for nonsmooth sets follows by approximation, but of course that does not prove uniqueness for the nonsmooth case, which really is the main accomplishment of our paper.<\/p>\n<p>In his first remark on p. 127, I don&#8217;t know why he introduces the new hypothesis &#8220;convex&#8221; or why he omits the hypothesis &#8220;bounded.&#8221;<\/p>\n<p>I would suggest the following revisions to our paper:<\/p>\n<p>Abstract: put &#8220;uniquely&#8221; in italics<\/p>\n<p>p. 2: after set-off definition of B_Phi: We have just seen a report by Gromov [G] that the isoperimetric inequality for general norms appeared earlier in Brunn&#8217;s inaugural dissertation [Bru].<\/p>\n<p>p. 4: . . . has been used by Gromov {[G]; see [Be, 12.11.4] to prove the theorem, with uniqueness only for smoothly bounded sets. Gromov also points out the equivalence of Sobolev&#8217;s inequality. The mapping F was defined earlier by H. Knothe [K] for the purpose of deriving a generalized Brunn-Minkowski inequality. The application to proving uniqueness in the general case is new.<\/p>\n<p>[Bru] H. Brunn, Ueber Ovale und Eiflaechen, Inaug. Diss., Muenchen, 1887.<\/p>\n<p>[Ue stands for U umlaut, ae for a umlaut, ue for u umlaut.]<\/p>\n<p>Note that here I use [Be] for Berger and [Bru] for Brunn, to distinguish them from the reference to you, which perhaps should be [Bro]. (I missed the potential Berger-Brothers confusion in my previous message of 9\/9\/93, copied below.)<\/p>\n<p>I am getting settled in NYC for the fall, living at 210 W 15 St ((212) 989-8025) and teaching a course at Queens College.<\/p>\n<p>Best,<\/p>\n<p>Frank<\/p>\n<div><b>From: <\/b>brothers@indiana.edu (John Brothers)<\/div>\n<div><b>Subject: <\/b><b>Re: Gromov reference<\/b><\/div>\n<div><b>Date: <\/b>September 9, 1994 at 2:37:00 PM EDT<\/div>\n<div><b>To: <\/b>&lt;frank.morgan@williams.edu&gt;<\/div>\n<p>Hi Frank&#8211;<\/p>\n<div>\n<div>What you have discovered is really interesting. \u00a0Especially the part about <br class=\"\" \/>Brunn. \u00a0I began looking for the Gromov reference eight years ago. \u00a0By <br class=\"\" \/>coincidence I returned the corrected galleys last week and so I think the <br class=\"\" \/>time is past for us to make revisions in the paper. \u00a0They say it is <br class=\"\" \/>scheduled to come out by year&#8217;s end. \u00a0Also, they declined to try to print <br class=\"\" \/>the illustrations of crystals, saying that they did not have the technology <br class=\"\" \/>to do so. \u00a0A reference to the picture is included.<br class=\"\" \/><br class=\"\" \/>I hope you enjoy your year in New York. \u00a0My son Max is now living in <br class=\"\" \/>Princeton, where he is working for a derivatives trading company.<br class=\"\" \/><br class=\"\" \/>John<\/div>\n<\/div>\n<div><\/div>\n<div>\n<div><b>From: <\/b>Frank.Morgan@williams.edu<\/div>\n<div><b>Subject: <\/b><b>Letter to Gromov on Brunn<\/b><\/div>\n<div><b>Date: <\/b>September 24, 1994 at 12:41:50 PM EDT<\/div>\n<div><b>To: <\/b>Brothers<\/div>\n<div>\n<div>Dear John,<br class=\"\" \/><br class=\"\" \/>I got Brunn&#8217;s thesis of 1887, but I find nothing on general norms in it. \u00a0It is in German in the old-fashioned style and hard for me to read. \u00a0It probably has the bones of the Brunn-Minkowski Theorem. \u00a0Since <br class=\"\" \/>Gromov actually said Brunn got general norms in 1888, perhaps they came shortly afterwards. \u00a0I have written the letter below to Gromov to try to find out.<br class=\"\" \/><br class=\"\" \/>Best,<br class=\"\" \/><br class=\"\" \/>Frank<br class=\"\" \/><br class=\"\" \/>Chelsmore Apt. #5S<br class=\"\" \/>205 W 15 Street<br class=\"\" \/>New York, New York 10011<br class=\"\" \/>September 26, 1994<br class=\"\" \/><br class=\"\" \/>Prof. Mikhael Gromov<br class=\"\" \/>Institute des Hautes Etudes Sci.<br class=\"\" \/>91440 Bures-Sur-Yvette<br class=\"\" \/>France<br class=\"\" \/><br class=\"\" \/>Dear Mikhael,<br class=\"\" \/><br class=\"\" \/>I have just discovered your appendix on &#8220;Isoperimetric inequalities in Riemannian manifolds&#8221; to Milman and Schechtman&#8217;s Aymptotic Theory of Finite Dimensiona Normed Spaces (Lecture Notes in Mathematics 1200, 1986). \u00a0I had thought I was the first to notice that the divergence theorem proof worked for general norms.<br class=\"\" \/><br class=\"\" \/>You attribute the theorem for general norms to Brunn in 1888. \u00a0How do you know this? \u00a0Is there any reference for this? \u00a0The literature credits Wulff, 1901.<br class=\"\" \/><br class=\"\" \/>I would be grateful for any response by mail or better email to<br class=\"\" \/><br class=\"\" \/>Frank.Morgan@williams.edu<br class=\"\" \/><br class=\"\" \/>Thanks and best wishes.<br class=\"\" \/><br class=\"\" \/>Sincerely,<br class=\"\" \/><br class=\"\" \/>Frank Morgan<br class=\"\" \/><br class=\"\" \/>Encl: related paper by Brothers and Morgan<br class=\"\" \/><br class=\"\" \/>cc: Brothers<\/div>\n<\/div>\n<\/div>\n<div><\/div>\n<div>[no response received]<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The following old post-publication correspondence provides some information and questions on the original proof that the Wulff shape minimizes anisotropic surface energy for fixed volume, as treated in our paper: MR1297699 (95g:49080) Brothers, John E. (1-IN); Morgan, Frank (1-WLMS) The isoperimetric theorem for general integrands. Michigan Math. J. 41 (1994), no. 3, 419\u2013431. 49Q20<\/p>\n","protected":false},"author":269,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[3],"tags":[],"class_list":["post-3155","post","type-post","status-publish","format-standard","hentry","category-articles"],"acf":[],"_links":{"self":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts\/3155","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/users\/269"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/comments?post=3155"}],"version-history":[{"count":1,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts\/3155\/revisions"}],"predecessor-version":[{"id":3156,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts\/3155\/revisions\/3156"}],"wp:attachment":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/media?parent=3155"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/categories?post=3155"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/tags?post=3155"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}