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.
Positive linear combinations and finite maxima preserve subharmonicity
Statement
Let be a complex domain.
- If are subharmonic on and , then is subharmonic on , where terms with are omitted (so an all-zero combination is the zero function).
- If are subharmonic on , then is subharmonic on .
Facts & Assumptions
Given: Subharmonic functions on a complex domain .
Subharmonicity is equivalent to harmonic comparison on compactly contained discs (Subharmonicity is equivalent to harmonic comparison on compactly contained discs).
The defining submean inequality for subharmonicity is linear in the function being averaged (Subharmonic functions on plane domains).
A subharmonic function is finite almost everywhere (Plane subharmonic functions are locally integrable).
Proof
Let . If is empty, the combination is the harmonic zero function. Otherwise it means the well-defined extended-real sum ; no product occurs. Finite sums with positive coefficients preserve upper semicontinuity, and [L3] shows that all summands are finite simultaneously almost everywhere, so their sum is not identically . On any closed disc, multiply the submean inequality for by and sum over to obtain the submean inequality for the combination.
For the finite maximum, upper semicontinuity is preserved by finite maxima. Let and let be continuous on the closure, harmonic on the disc, and satisfy on the boundary. Then on the boundary for every , so [L1] gives throughout the disc for every . Therefore on the disc. Another use of [L1] shows that the maximum is subharmonic.
Steps 1.1 and 1.2 prove the two closure properties.
Depends on
Used by
- The punctured disc has an irregular boundary point and a continuous boundary datum with no harmonic solution Counterexample
- Canonical Green kernel on a Riemann surface Definition
- An irregular puncture does not force the Green kernel to vanish Example
- Finite and countable planar sets have zero logarithmic capacity Example
- FALSE: an arbitrary pointwise supremum of subharmonic functions is subharmonic False statement
- A dipole Green function exists on a Riemann surface Lemma
- A harmonic majorant of log^+|F| exists exactly when the radial log^+ means are bounded Lemma
- A local strict subharmonic peak function globalizes Lemma
- A planar barrier forces the regularized Perron envelope to have the prescribed boundary limit Lemma
- A simply connected Greenian Riemann surface is a disc Lemma
- A simply connected surface without a Green kernel is plane or sphere Lemma
- Compact capacity-zero sets and subharmonic minus-infinity loci Lemma
- Green envelope dichotomy, logarithmic pole and leastness on a Riemann surface Lemma
- Locality of subharmonicity in the plane and on Riemann surfaces Lemma
- Regular exhaustion and Dirichlet solutions on relatively compact surface domains Lemma
- Removing a compact chart disc gives a Greenian surface Lemma
- Subharmonic pieces glue across a boundary under the limsup inequality Lemma
- Symmetry of the canonical surface Green kernel Lemma
- A boundary point is regular exactly when it admits a barrier Theorem
- Basic stability operations for plurisubharmonic functions Theorem
- Green functions exist on all bounded plane domains Theorem
- Local Riesz decomposition of a plane subharmonic function Theorem
- The principle of descent and the logarithmic domination principle Theorem
- The regularized Perron envelope is harmonic Theorem
- The upper-semicontinuous regularization of a locally bounded-above subharmonic supremum is subharmonic Theorem
Dependency tree · two levels
11 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)