Coercivity conjecture for nonlocal divergence-form operators
Let be a symmetric measurable kernel, , satisfying the hypotheses proposed in the cited coercivity conjecture. Determine whether the associated nonlocal divergence-form equation in has a coercive weak formulation and whether every weak solution is locally Hölder continuous in . The supplied sources do not specify the full original hypotheses precisely; they report that the broad regularity assertion has a claimed counterexample, while coercivity and Hölder regularity are proved under an additional -integrability assumption on annuli with .
References
Primary source
Additional references
- Coercivity and regularity for nonlocal divergence-form operators with measurable kernels — arXiv — Anup Biswas
Progress summary
An unrefereed preprint claims a counterexample to the broad regularity picture and proves coercivity under stronger assumptions, but the original conjecture remains open.
The conjecture concerns coercivity and interior regularity for nonlocal divergence-form operators with merely measurable kernels. Earlier work established Hölder regularity under additional structural assumptions, but not in the full generality proposed.
Known results
Earlier work gives an affirmative Hölder-regularity result when the jump measures are absolutely continuous or supported on sufficiently many subspaces, under assumptions including uniform comparability to an -stable measure, with ; the estimate holds for almost every pair of interior points.
October 2026 conditional theorem and counterexample
Anup Biswas's preprint claims a bounded discontinuous weak solution, ruling out the proposed broad regularity principle. It also claims coercivity and interior Hölder regularity under stronger integrability assumptions. These claims are reported from an unrefereed preprint and remain unverified.
Current status (as of October 2026): The broad conjecture remains open; a preprint claims a counterexample to the unrestricted regularity principle and a conditional coercivity and regularity theorem, but neither claim is independently verified.
Solutions 0
No solutions have been posted yet.