Cracktip est un minimum de Mumford-Shah global
Cracktip is a global Mumford-Shah minimizer
Anglais
Le résultat principal de ce texte est que le couple $(u,K)$ défini par $K={}]-\infty ,0] \subset \mathbb {R}^2$ et $u(r\cos \theta ,r\sin \theta ) = \sqrt { { 2 / \pi } } \ r^{1/2} \sin (\theta /2) \text { pour } r>0 \text { et } -\pi < \theta < \pi $ est un minimum global de la fonctionnelle de Mumford-Shah. Ceci signifie que si $\widetilde K$ est un fermé du plan de mesure de Hausdorff de dimension 1 localement finie, $\widetilde u$ est une fonction définie sur $\mathbb {R}^2 \smallsetminus \widetilde K$ dont la dérivée est dans $L_{\mathrm {loc}}^2 \big ( \mathbb {R}^2 \smallsetminus \widetilde K \big )$, et si le couple $( \widetilde u, \widetilde K)$ coïncide avec $(u,K)$ hors d'un disque $B$, on a $ H^1 (K \cap B) + \int _{B \smallsetminus K } \left \vert { \nabla u }\right \vert ^2 \leq H^1 (\widetilde K \cap B) + \int _{B \smallsetminus G } \left \vert { \nabla \widetilde u }\right \vert ^2 , $ où l'on note $H^1$ la mesure de Hausdorff. On montrera aussi que tout minimum global $(u',K')$ de la fonctionnelle de Mumford-Shah qui est suffisament proche de $(u,K)$ à l'infini lui est équivalent. C'est le cas par exemple si l'une des limites de $(u',K')$ par implosions est égale à $(u,K)$. La démonstration est basée sur une étude détaillée de la fonction harmonique conjuguée de $u'$ et de ses ensembles de niveau. On utilise aussi des techniques d'explosion et la monotonie d'une intégrale d'énergie.