How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Exterior disc points and exterior cone points are regular
Statement
Let be a bounded complex domain and let .
- If there is a closed disc with , then is regular.
- If, after a rigid motion sending to , the domain lies locally in a sector of opening angle , then is regular.
Facts & Assumptions
Given: A bounded complex domain and a boundary point .
A boundary point is regular exactly when it admits a barrier (A boundary point is regular exactly when it admits a barrier).
A negative local subharmonic peak with a strictly negative bound on a smaller seam globalizes to a barrier (A local strict subharmonic peak function globalizes).
Proof
In the exterior-disc case put The center is outside , so and are holomorphic and harmonic respectively on . Moreover for , hence , while as . On the compact set , for any neighbourhood of , the continuous function has a strictly negative maximum: equality could hold only when , namely at . Thus is a global barrier and [L1] makes regular.
In the exterior-cone case, after translation and rotation take and suppose that near the domain lies in Choose with , put , and use the branch of on the larger sector . Then is harmonic and negative on , and tends to at the origin. On a sufficiently small circle , the angular margin gives Thus [L2] globalizes to a barrier, and [L1] gives regularity.
The two barrier constructions prove the two regularity criteria.
Depends on
Used by
Dependency tree · two levels
8 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Sheldon Axler, Paul Bourdon, and Wade Ramey, Harmonic Function Theory, 2nd ed. (standard reference, not scraped)