Schwarz Symmetrization Can Increase a Nonlocal Thereshold Energy

Qinyang Li

Abstract

For $N\geq 1$, $p\geq 1$, and $δ>0$, consider the nonlocal threshold functional \[ I_{δ,p}(u)=\iint_{\{|u(x)-u(y)|>δ\}} \frac{δ^p}{|x-y|^{N+p}}\,\dd x\,\dd y. \] Nguyen and Squassina \cite{NguyenSquassina} asked whether $I_{δ,p}$ decreases under Schwarz rearrangement. We give a negative answer in every dimension. For each $N\geq1$ and $δ>0$, one and the same explicit counterexample works for every $p\geq1$: it is nonnegative, bounded, compactly supported, and takes only five values. Its four nontrivial superlevel sets are nested balls whose centers alternate between two points. Once the active threshold interactions are isolated, the energy difference reduces to comparing the interaction of a unit ball with a concentric annulus and with an eccentric shell. The sign is strict because the potential generated by the unit ball decreases with the radius. We also compute the energy gap in closed form in dimension one. This settles Open Problem~2.2 of Nguyen and Squassina.

Disclosure

“< N whenever that range is nonempty. Data availability. No data were used for the research described in this article. Competing interests. The authors declare that they have no competing interests. AI assistance statement. The authors used OpenAI models to assist with language polishing. References [1] F. J. Almgren, Jr. and E. H. Lieb, Symmetric decreasing rearrangement is sometimes continuous, J. Amer. Math. Soc. 2”

PDF page 6
Classification
Proofreading, grammar, or spelling
Multiplier
1
Verified

Structural counts

Pages 7 pdf
Theorems 1 source
Lemmas 1 source
Propositions 1 source
Corollaries 0 source
Definitions 0 source
Displayed equations 38 source
Bibliography entries 11 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file Schwarz_Threshold_Counterexample.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.