Existence, uniqueness and L2t(H2x) ∩ L∞t(H1x) ∩ H1t(L2x) regularity of the gradient flow of the Ambrosio–Tortorelli functional
Tommaso Cortopassi
DOI: https://doi.org/10.1051/cocv/2024060
2024-10-07
ESAIM Control Optimisation and Calculus of Variations
Abstract:We consider the gradient flow of the Ambrosio–Tortorelli functional, proving existence, uniqueness and L 2 t( H 2 x) ∩ L ∞ t( H 1 x) ∩ H 1 t( L 2 x) regularity of the solution in dimension 2. Such functional is an approximation in the sense of Γ-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 []Feng and Prohl, M2AN Math. Model. Numer. Anal. 38 (2004) 291–320] but the crucial estimate is attained employing a different technique, and in the end it allows to prove better estimates than the ones obtained in [Feng and Prohl, M2AN Math. Model. Numer. Anal. 38 (2004) 291–320]. In particular we prove that if U ⊂ R 2 is a bounded C 2 domain, the initial data ( u 0, z 0) ∈ [ H 1( U)] 2 with 0 ≤ z 0 ≤ 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) ∈ [ L 2(0, T; H 2( U)) ∩ L ∞(0, T; H 1( U)) ∩ H 1(0, T; L 2( U)] 2 while previously such regularity was known only for short times.
mathematics, applied,automation & control systems