Nonlocal Ordered Mean Curvature with Integrable Kernel

Abstract

In this paper we introduce and study the concept of nonlocal ordered curvature. In the classical (differential) setting, the problem was introduced by Nirenberg and Li, where they conjectured that if a bounded, smooth surface has its mean curvature ordered in a particular direction, then the surface must be symmetric with respect to some hyperplane orthogonal to that direction. The conjecture was proved by Li et al in 2022. Here we study the counterpart problem in the nonlocal setting, where the nonlocal mean curvature of a set $Ω$, at any point $x$ on its boundary, is defined as $H_Ω^J(x) = \int_{Ω^c} J(x-y) dy - \int_ΩJ(x-y) dy$ and the kernel function $J$ is radially symmetric, non-increasing, integrable and compactly supported. Using a generalization of Alexandrov's moving plane method, we prove a similar result in the nonlocal setting.