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 multiplication semigroup with an unbounded generator
Example
Assume Countable Choice. Let , and . For define (The space as the quotient by null functions). Then is a strongly continuous semigroup of contractions on , and its generator is the multiplication operator which is unbounded: .
Verification
Given: Countable Choice; ; ; ; for .
[F1] is Banach under Countable Choice by Riesz-Fischer completeness of for for real classes and Complex Lp completeness and almost-everywhere subsequences for complex classes; the classes are those of The space as the quotient by null functions; the Bochner/absolute-continuity framework used below is set up under Countable Choice (The Axiom of Countable Choice ()).
[F2] Dominated convergence for the Lebesgue integral, including its use to compute limits of scalar functions from pointwise convergence and a dominating function (Dominated convergence).
[F3] The embedding of into distributions is injective on almost-everywhere classes: a locally integrable function pairing to zero against every test function in vanishes almost everywhere (Locally integrable functions embed in distributions).
[F4] The generator is defined by one-sided difference quotients, and unboundedness means that no finite constant bounds by on (Infinitesimal generator of a C0-semigroup, Strongly continuous semigroup).
Proof technique: direct: pointwise computation for the semigroup and its difference quotients, dominated convergence for both inclusions of the generator domain, and a bump-function family for unboundedness.
For every the map is linear and , so is a contraction; the pointwise identities and give and .
Strong continuity: for fixed , as by [F2], since pointwise and for , so the integrand is dominated by the function .
Inclusion : if , then by [F2], because pointwise and, by the inequality for , the bracket is at most , so the integrand is dominated by .
Converse: suppose the difference quotients converge in to some , and let . By [F2] and the boundedness of on , , while because and ; hence for every test function. The locally integrable function has , so [F3] gives almost everywhere; in particular and with .
Unboundedness and proper domain: for let be the normalised nonnegative bump supported in with . Then , so while , and no constant bounds on its domain. Moreover : the function lies in because , while is not in because , so .
Together with [step 1.1] and [step 2.1], the displayed claims follow: is a strongly continuous contraction semigroup on whose generator has domain and acts by , and this operator is unbounded.
Depends on
- Complex Lp completeness and almost-everywhere subsequences
- Riesz-Fischer completeness of $L^p$ for $1 \le p \le \infty$
- Strongly continuous semigroup
- Infinitesimal generator of a C0-semigroup
- The space $L^p(\mu)$ as the quotient by null functions
- Dominated convergence
- Locally integrable functions embed in distributions
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
51 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
- Klaus-Jochen Engel and Rainer Nagel, One-Parameter Semigroups for Linear Evolution Equations, Graduate Texts in Mathematics 194 (complete author-hosted monograph) (standard reference, not scraped)
- Klaus-Jochen Engel and Rainer Nagel, One-Parameter Semigroups for Linear Evolution Equations, Graduate Texts in Mathematics 194 (complete author-hosted monograph) (standard reference, not scraped)
- Gerald Teschl, Partial Differential Equations: From Classical to Modern (2026 author manuscript; complete 392-page archived text) (standard reference, not scraped)