On mixed local-nonlocal Sobolev-type inequalities and their connection with singular equations in the Heisenberg group

TL;DR

This paper establishes a unified framework connecting local, nonlocal, and mixed Sobolev inequalities in the Heisenberg group, linking extremals to solutions of singular p-Laplace equations and characterizing solution existence.

Contribution

It introduces a mixed local-nonlocal Sobolev inequality in the Heisenberg group and shows its extremals solve related singular equations, unifying local and nonlocal cases.

Findings

Extremals coincide with solutions to mixed singular p-Laplace equations

Inequalities characterize existence of weak solutions

Framework unifies local, nonlocal, and mixed regimes

Abstract

In this work, we establish a mixed local--nonlocal Sobolev-type inequality in the Heisenberg group and demonstrate that its extremals coincide with solutions to the corresponding mixed local--nonlocal singular $p$-Laplace equations. We further show that these inequalities serve as a necessary and sufficient condition for the existence of weak solutions to the associated singular problems. Notably, the same characterization remains valid in both the purely local and purely nonlocal settings. Our results thus provide a unified framework linking the existence theory for singular equations across local, nonlocal, and mixed regimes.