Open Research Index

Bergman projection weak type constants

Yongxi Lin

Palomar Registrypalomar/PALOMAR-2026-10-19-000019Oct 19, 2026math.CVscore 0

A Lean formalization of weak type (1,1) constants for the Bergman projection and its positive-kernel counterpart on the unit disk. The proved results are the sharp unweighted constants, weighted positive-kernel constants, and upper and lower weighted bounds for the complex projection. A further theorem characterizes Euclidean disks among bounded simply connected open regions using their reproducing Bergman kernels, without boundary regularity assumptions. All seven main comparison targets are proved using only the standard permitted Lean axioms.

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-19-000019
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-19-000019/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-19-000019/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'