clopen.solutions

Bounded complex harmonic lifting from Agmon's maximum estimate

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

No author is named in the source.

Yes: for every d >= 2, every bounded connected C^infty domain Omega and every constant accretive C there is K(Omega, C) < infinity with ||u_phi||_inf <= K ||phi||_inf for all phi in H^{1/2} cap L^inf, from Agmon's 1960 maximum estimate with its L^1 remainder controlled by an L^2 duality bound, extended from smooth data by heat smoothing on the boundary..

Claims

SOLUTION CLAIMED OP-00670 — Bounded harmonic lifting for complex media
Full resolution · fidelity not yet established

Files and sources

Paper
AIM @ a153f46, 218-complex-harmonic-lifting/PROOF.md ↗
Posted on GitHub
1 October 2026

No verification run is on record for this version.