clopen.solutions

The Mercedes-star partition of a disk

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Kaiwen Jin

Among triples of pairwise disjoint nonempty connected open subsets of the unit disk, the three sectors of opening $2\pi/3$ minimize the largest first Dirichlet eigenvalue. The minimum is $j_{3/2,1}^2$, where $j_{3/2,1}$ is the first positive zero of the Bessel function $J_{3/2}$. The proof transfers any triple with smaller energy to a triple on the unit sphere with energy below its known sharp minimum $15/4$. A common radial change of variables matches the angular terms after division by positive reference profiles. A Wronskian comparison shows that the remaining radial term has the required sign. The argument imposes no condition on the cells' boundary regularity, topology, symmetry, or coverage of the disk.

Claims

SOLUTION CLAIMED OP-00759 — The Mercedes-star partition of a disk
Full resolution · fidelity not yet established

Files and sources

Paper
AIM @ a153f46, paper/mercedes_partition.pdf ↗
Posted on GitHub
11 October 2026

No verification run is on record for this version.