We study the regularity of the regular and of the singular set of the obstacle problem in any dimension. Our approach is related to the epiperimetric inequality of Weiss (Invent Math 138:23–50, Wei99a), which works at regular points and provides an alternative to the methods previously introduced by Caffarelli (Acta Math 139:155–184, Caf77). In his paper, Weiss uses a contradiction argument for the regular set and he asks the question if such epiperimetric inequality can be proved in a direct way (namely, exhibiting explicit competitors), which would have significant implications on the regularity of the free boundary in dimension d > 2. We answer positively the question of Weiss, proving at regular points the epiperimetric inequality in a direct way, and more significantly we introduce a new tool, which we call logarithmic epiperimetric inequality. It allows to study the regularity of the whole singular set and yields an explicit logarithmic modulus of continuity on the C1 regularity, thus improving previous results of Caffarelli and Monneau and providing a fully alternative method. It is the first instance in the literature (even in the context of minimal surfaces) of an epiperimetric inequality of logarithmic type and the first instance in which the epiperimetric inequality for singular points has a direct proof. Our logarithmic epiperimetric inequality at singular points has a quite general nature and will be applied to provide similar results in different contexts, for instance for the thin obstacle problem.

A logarithmic epiperimetric inequality for the obstacle problem

Velichkov B.
2018-01-01

Abstract

We study the regularity of the regular and of the singular set of the obstacle problem in any dimension. Our approach is related to the epiperimetric inequality of Weiss (Invent Math 138:23–50, Wei99a), which works at regular points and provides an alternative to the methods previously introduced by Caffarelli (Acta Math 139:155–184, Caf77). In his paper, Weiss uses a contradiction argument for the regular set and he asks the question if such epiperimetric inequality can be proved in a direct way (namely, exhibiting explicit competitors), which would have significant implications on the regularity of the free boundary in dimension d > 2. We answer positively the question of Weiss, proving at regular points the epiperimetric inequality in a direct way, and more significantly we introduce a new tool, which we call logarithmic epiperimetric inequality. It allows to study the regularity of the whole singular set and yields an explicit logarithmic modulus of continuity on the C1 regularity, thus improving previous results of Caffarelli and Monneau and providing a fully alternative method. It is the first instance in the literature (even in the context of minimal surfaces) of an epiperimetric inequality of logarithmic type and the first instance in which the epiperimetric inequality for singular points has a direct proof. Our logarithmic epiperimetric inequality at singular points has a quite general nature and will be applied to provide similar results in different contexts, for instance for the thin obstacle problem.
2018
Colombo, M.; Spolaor, L.; Velichkov, B.
File in questo prodotto:
File Dimensione Formato  
Colombo2018.pdf

solo utenti autorizzati

Tipologia: Versione finale editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 696.57 kB
Formato Adobe PDF
696.57 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Preprint A Logarithmic Epiperimetric Inequality.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 290.8 kB
Formato Adobe PDF
290.8 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/1060683
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 18
social impact