Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedSession-authored (Fable 5 assisted)precheck passaudited 2026-08-27
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.

A C^2 function is subharmonic exactly when its Laplacian is nonnegative

Statement

Let ΩC be open and let uC2(Ω,R). Then u is subharmonic on Ω if and only if Δu=uxx+uyy0 throughout Ω.

Facts & Assumptions

Given: An open set ΩC and a function uC2(Ω,R).

[L1]

Subharmonicity on a domain is equivalent to harmonic comparison on every compactly contained disc (Subharmonicity is equivalent to harmonic comparison on compactly contained discs).

Proof

technique · direct
1.1

Assume first that u is subharmonic. Fix aΩ and choose r>0 with D(a,r)Ω. For 0<ρ<r, Taylor's formula in the direction eit gives [L1, given, algebra] u(a+ρeit)=u(a)+ρu(a) ⁣ ⁣eit+ρ22eit ⁣T(D2u(a))eit+o(ρ2). Averaging over t kills the linear term and averages the quadratic term to ρ24Δu(a), so the submean inequality yields 012π02πu(a+ρeit)dtu(a)=ρ24Δu(a)+o(ρ2). Dividing by ρ2 and letting ρ0 gives Δu(a)0.

L1givenalgebra
2.1

Assume now that Δu0 on Ω. Fix a closed disc D(a,r)Ω, and let h be continuous on D(a,r), harmonic on D(a,r), and satisfy hu on D(a,r). Put w=uh. Then w is continuous on D(a,r), belongs to C2(D(a,r)), satisfies Δw=Δu0 on D(a,r), and has w0 on D(a,r). If some point pD(a,r) had w(p)>0, choose 0<ε<w(p)/r2 and define wε(z):=w(z)+εza2. On the boundary one has wεεr2<w(p)wε(p), so wε attains its maximum at an interior point qD(a,r). The second-derivative test there gives Δwε(q)0, but Δwε=Δw+4ε4ε>0, a contradiction. Therefore w0 on D(a,r), so uh on the whole disc. Since the disc and the harmonic boundary majorant h were arbitrary, [L1] shows that u is subharmonic on Ω.

L1algebra

Depends on

Used by

Dependency tree · two levels

9 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