A stability inequality for planar lens partition

Recently it has been shown that the unique local perimeter minimizing partitioning of the plane into three regions, where one region has finite area and the other two have infinite measure, is given by the so-called standard lens partition. Here we prove a sharp stability inequality for the standard lens, hence strengthening the local minimality of the lens partition in a quantitative form. As an application of this stability result we consider a nonlocal perturbation of an isoperimetric problem.