| Ce travail porte sur les problèmes de régularités en optimisation de forme. Précisément nous étudions la régularité d'un ouvert qui minimise l'énergie du problème de Dirichlet pour le Laplacien parmi tous les ouverts de mesure fixée inclus dans un grand ouvert (par exemple l'espace tout entier). La première étape consiste à regarder la régularité de la fonction d'état optimale (la solution du problème de Dirichlet sur l'ouvert minimal): on montre que, là où elle garde un signe constant, elle est localement lipschitzienne (dans tout l'espace et pas seulement dans l'ouvert optimal). La deuxième étape consiste à étudier la régularité du bord de l'ouvert optimal. Si la fonction d'état est lipschitzienne, on montre que cet ouvert est à périmètre fini. On peut également montré que, là où le terme source est positif, le Laplacien de la fonction d'état est égal, sur le bord de l'ouvert optimal, à une constante multipliée par la mesure de Hausdorff du bord. Cette constante est un multiplicateur de Lagrange dans une équation d'Euler-Lagrange. De manière formelle, cela signifie que la dérivée normale de la fonction d'état est constante sur le bord. Ceci est bien le résultat attendu: si on suppose que l'ouvert optimal est régulier, on le retrouve facilement. On peut enfin déduire de cela que, loin du support du terme source, la frontière de l'ouvert optimal est, en dehors d'un ensemble négligeable, une hypersurface analytique. |
Export this paper
