A counterexample to the monotone increasing behavior of an Alt-Caffarelli-Friedman formula in the Heisenberg group
In this paper we provide a counterexample about the existence of an increasing monotonicity behavior of a function introduced in \cite{FeFo}, companion of the celebrated Alt-Caffarelli-Friedman monotonicity formula, in the noncommutative framework.