Schwarz Symmetrization Can Increase a Nonlocal Thereshold Energy
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
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.