Optimal regularity of solutions to no-sign obstacle-type problems for the sub-Laplacian

where $Δ_{H}$ denotes the sub-Laplacian operator in a stratified group. We assume the weakest regularity condition on $f$ , namely the group convolution $f * Γ$ is $C_{H}^{1, 1}$ , where $Γ$ is the fundamental solution of $Δ_{H}$ . The $C_{H}^{1, 1}$ regularity is understood in the sense of Folland and Stein. In the classical Euclidean setting, the first seeds of the above problem were already present in the 1991 paper of Sakai and are also related to quadrature domains. As a special instance of our results, when $u$ is nonnegative and satisfies the above equation, we recover the $C_{H}^{1, 1}$ regularity of solutions to the obstacle problem in stratified groups, which was previously established by Danielli, Garofalo and Salsa. Our regularity result is sharp: it can be seen as the subelliptic counterpart of the $C^{1, 1}$ regularity result due to Andersson, Lindgren and Shahgholian.

Keywords

sub-Laplacian, obstacle problem, subelliptic equations, stratified groups

Mathematical Subject Classification

Primary: 35H20, 35R35

Milestones

Received: 5 July 2019

Revised: 20 January 2021

Accepted: 11 March 2021

Published: 10 November 2022

Authors

Valentino Magnani
Dipartimento di Matematica Università di Pisa Pisa Italy

Andreas Minne
Department of Mathematics KTH Royal Institute of Technology Stockholm Sweden

Vol. 15, No. 6, 2022

Valentino Magnani and Andreas Minne

Abstract

Keywords

Mathematical Subject Classification

Milestones

Authors