{"title":"安布罗西奥-托托雷利函数梯度流的存在性、唯一性和 L2 t (Hx2) ∩ L∞ t (Hx1) ∩ Ht1(L2 x ) 正则性","authors":"Tommaso Cortopassi","doi":"10.1051/cocv/2024060","DOIUrl":null,"url":null,"abstract":"We consider the gradient flow of the Ambrosio-Tortorelli functional, proving existence, uniqueness and L2t (Hx2) ∩ L∞t (Hx1) ∩ Ht1(L2x) regularity of the solution in dimension 2. Such functional is an approximation in Γ-convergence of the Mumford-Shah functional often used in problems of image segmentation and fracture mechanics. The strategy of the proof essentially follows the one of [9] but the crucial estimate is attained employing a different technique, and in the end it allows us to prove better estimates than the ones obtained in [9]. In particular we prove that if U ⊂ R2 is a bounded Lipshitz domain, the initial data (u0,z0) ∈ [H1(U)]2 and 0 ≤ z0 ≤ 1, then for every T > 0 there exists a unique gradient flow (u(t),z(t)) of the Ambrosio-Tortorelli functional such that\n(u,z) ∈ [L2(0,T;H2(U)) ∩ L∞(0,T;H1(U)) ∩ H1(0,T;L2(U))]2, while previously such regularity was known only for short times.","PeriodicalId":512605,"journal":{"name":"ESAIM: Control, Optimisation and Calculus of Variations","volume":"81 6","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Existence, uniqueness and L2 t (Hx2) ∩ L∞ t (Hx1) ∩ Ht1(L2 x ) regularity of the gradient flow of the Ambrosio-Tortorelli functional\",\"authors\":\"Tommaso Cortopassi\",\"doi\":\"10.1051/cocv/2024060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We consider the gradient flow of the Ambrosio-Tortorelli functional, proving existence, uniqueness and L2t (Hx2) ∩ L∞t (Hx1) ∩ Ht1(L2x) regularity of the solution in dimension 2. Such functional is an approximation in Γ-convergence of the Mumford-Shah functional often used in problems of image segmentation and fracture mechanics. The strategy of the proof essentially follows the one of [9] but the crucial estimate is attained employing a different technique, and in the end it allows us to prove better estimates than the ones obtained in [9]. In particular we prove that if U ⊂ R2 is a bounded Lipshitz domain, the initial data (u0,z0) ∈ [H1(U)]2 and 0 ≤ z0 ≤ 1, then for every T > 0 there exists a unique gradient flow (u(t),z(t)) of the Ambrosio-Tortorelli functional such that\\n(u,z) ∈ [L2(0,T;H2(U)) ∩ L∞(0,T;H1(U)) ∩ H1(0,T;L2(U))]2, while previously such regularity was known only for short times.\",\"PeriodicalId\":512605,\"journal\":{\"name\":\"ESAIM: Control, Optimisation and Calculus of Variations\",\"volume\":\"81 6\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-08-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ESAIM: Control, Optimisation and Calculus of Variations\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1051/cocv/2024060\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ESAIM: Control, Optimisation and Calculus of Variations","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1051/cocv/2024060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Existence, uniqueness and L2 t (Hx2) ∩ L∞ t (Hx1) ∩ Ht1(L2 x ) regularity of the gradient flow of the Ambrosio-Tortorelli functional
We consider the gradient flow of the Ambrosio-Tortorelli functional, proving existence, uniqueness and L2t (Hx2) ∩ L∞t (Hx1) ∩ Ht1(L2x) regularity of the solution in dimension 2. Such functional is an approximation in Γ-convergence of the Mumford-Shah functional often used in problems of image segmentation and fracture mechanics. The strategy of the proof essentially follows the one of [9] but the crucial estimate is attained employing a different technique, and in the end it allows us to prove better estimates than the ones obtained in [9]. In particular we prove that if U ⊂ R2 is a bounded Lipshitz domain, the initial data (u0,z0) ∈ [H1(U)]2 and 0 ≤ z0 ≤ 1, then for every T > 0 there exists a unique gradient flow (u(t),z(t)) of the Ambrosio-Tortorelli functional such that
(u,z) ∈ [L2(0,T;H2(U)) ∩ L∞(0,T;H1(U)) ∩ H1(0,T;L2(U))]2, while previously such regularity was known only for short times.