Open Research Index

Planar Pólya–Szegő Buckling Inequality

Quanyu Tang, Haiqi Zhang

Palomar Registrypalomar/PALOMAR-2026-10-18-000008Oct 18, 2026math.APscore 0

Lean formalization proving the planar Polya-Szego conjecture for the first buckling eigenvalue. For open planar sets of positive finite area, it proves the sharp area inequality and characterizes equality by exact equality with an open disk. It retains the original Sobolev-space, variational eigenvalue and Bessel definitions, and includes the disk eigenvalue and buckling–Dirichlet comparison.

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-18-000008
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-18-000008/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-18-000008/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'