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.
The Poisson kernel is a boundary approximate identity
Statement
Let be continuous. Then
uniformly in .
Facts & Assumptions
Given: A continuous boundary datum .
The Poisson kernel is positive, has total mass one, and its mass away from a fixed boundary point tends uniformly to zero as (The Poisson kernel is positive, has total mass one, and concentrates at a boundary point).
Proof
Let . By uniform continuity of on the compact unit circle, choose such that whenever the circular distance from to is less than .
Writing and subtracting inside the Poisson integral, positivity and total mass one from [L1] give
The first integral in step 2.1 is at most because the kernel mass is , and the second is at most times the far-arc mass from [L1], which is for all once is close enough to . Therefore uniformly in .
Since was arbitrary, the convergence is uniform as .
Depends on
Used by
Dependency tree · two levels
6 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
- Sigurdur Helgason, MIT 18.112 Lecture 16: Harmonic Functions (standard reference, not scraped)