We define rigorously a solution to the fourth-order total variation flow equation in $ mathbb{R}^n $. If $ ngeq3 $, it can be understood as a gradient flow of the total variation energy in $ D^{-1} $, the dual space of $ D^1_0 $, which is the completion of the space of compactly supported smooth functions in the Dirichlet norm. However, in the low dimensional case $ nleq2 $, the space $ D^{-1} $ does not contain characteristic functions of sets of positive measure, so we extend the notion of solution to a larger space. We characterize the solution in terms of what is called the Cahn-Hoffman vector field, based on a duality argument. This argument relies on an approximation lemma which itself is interesting. We introduce a notion of calibrability of a set in our fourth-order setting. This notion is related to whether a characteristic function preserves its form throughout the evolution. It turns out that all balls are calibrable. However, unlike in the second-order total variation flow, the outside of a ball is calibrable if and only if $ nneq2 $. If $ nneq2 $, all annuli are calibrable, while in the case $ n = 2 $, if an annulus is too thick, it is not calibrable. We compute explicitly the solution emanating from the characteristic function of a ball. We also provide a description of the solution emanating from any piecewise constant, radially symmetric datum in terms of a system of ODEs.
{"title":"The fourth-order total variation flow in $ mathbb{R}^n $","authors":"Y. Giga, H. Kuroda, Michal Lasica","doi":"10.3934/mine.2023091","DOIUrl":"https://doi.org/10.3934/mine.2023091","url":null,"abstract":"We define rigorously a solution to the fourth-order total variation flow equation in $ mathbb{R}^n $. If $ ngeq3 $, it can be understood as a gradient flow of the total variation energy in $ D^{-1} $, the dual space of $ D^1_0 $, which is the completion of the space of compactly supported smooth functions in the Dirichlet norm. However, in the low dimensional case $ nleq2 $, the space $ D^{-1} $ does not contain characteristic functions of sets of positive measure, so we extend the notion of solution to a larger space. We characterize the solution in terms of what is called the Cahn-Hoffman vector field, based on a duality argument. This argument relies on an approximation lemma which itself is interesting. We introduce a notion of calibrability of a set in our fourth-order setting. This notion is related to whether a characteristic function preserves its form throughout the evolution. It turns out that all balls are calibrable. However, unlike in the second-order total variation flow, the outside of a ball is calibrable if and only if $ nneq2 $. If $ nneq2 $, all annuli are calibrable, while in the case $ n = 2 $, if an annulus is too thick, it is not calibrable. We compute explicitly the solution emanating from the characteristic function of a ball. We also provide a description of the solution emanating from any piecewise constant, radially symmetric datum in terms of a system of ODEs.","PeriodicalId":54213,"journal":{"name":"Mathematics in Engineering","volume":" ","pages":""},"PeriodicalIF":1.0,"publicationDate":"2022-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42351934","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A classical theorem of A. D. Alexandrov says that a connected compact smooth hypersurface in Euclidean space with constant mean curvature must be a sphere. We give exposition to some results on symmetry properties of hypersurfaces with ordered mean curvature and associated variations of the Hopf Lemma. Some open problems will be discussed.
{"title":"Symmetry of hypersurfaces and the Hopf Lemma","authors":"Yanyan Li","doi":"10.3934/mine.2023084","DOIUrl":"https://doi.org/10.3934/mine.2023084","url":null,"abstract":"A classical theorem of A. D. Alexandrov says that a connected compact smooth hypersurface in Euclidean space with constant mean curvature must be a sphere. We give exposition to some results on symmetry properties of hypersurfaces with ordered mean curvature and associated variations of the Hopf Lemma. Some open problems will be discussed.","PeriodicalId":54213,"journal":{"name":"Mathematics in Engineering","volume":" ","pages":""},"PeriodicalIF":1.0,"publicationDate":"2022-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42873894","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}