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 sector changes under the sign convention
Statement refuted
Assume Dependent Choice (The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain) for the cited integral and semigroup suppliers.
The statement "replacing by preserves sectoriality at vertex and the sector angle, merely inverting the generated semigroup" is false. Witness: and . Then , and for every , so and is not sectorial in the convention (Sectorial operator with the semigroup sign convention); the generated semigroup is , which is not bounded. However satisfies for every , with on where ; hence is sectorial of angle and generates the bounded analytic semigroup (Sectorial resolvent characterisation of bounded analytic semigroups). Thus sectoriality is an oriented condition located on the spectral side; the dictionary of Sectorial operator with the semigroup sign convention must be applied to the operator that actually appears, and a signless citation of " is sectorial" changes the sector by reflection through the origin.
Refuted claim. If is sectorial at vertex in the convention then so is , with the same sector angle, and the generated semigroup is merely replaced by its inverse. The one-dimensional operator has inside every sector , so it is not sectorial at vertex , while is sectorial of the maximal angle and generates the contractive semigroup .
Facts & Assumptions
Given: The one-dimensional complex Banach space , the bounded operators and acting as multiplication on , and the open sectors .
is sectorial of angle at vertex in the convention when with on for every (Sectorial operator with the semigroup sign convention).
For a bounded operator the series is a strongly continuous group of bounded operators whose generator is , with (The exponential series of a bounded operator, A bounded linear operator between normed spaces).
The conditions (a)-(e) of the sectorial resolvent characterisation are equivalent, so a densely defined closed operator sectorial at vertex with a positive exponent generates a bounded analytic semigroup (Sectorial resolvent characterisation of bounded analytic semigroups, Complex sector and bounded analytic semigroup).
The operator norm is submultiplicative and in the one-dimensional space (The operator norm as the least bound and as the unit-sphere or unit-ball supremum).
Counterexample
The witness is not sectorial. In the operator is multiplication by , which is invertible exactly for , so and ; since for every , no sector with vertex , , is contained in and [L1] rules out sectoriality at vertex of every positive exponent; moreover is bounded with , so [L2] gives the generated semigroup with , which is unbounded on .
The reflected operator is sectorial of angle . Here is multiplication by , invertible for , so and ; the point has argument while every has for , so and ; for with one has , hence and ; hence with , and [L1] makes sectorial of angle .
The refutation. The two computations show that is not sectorial in the convention while is sectorial of the endpoint angle , so replacing by does not preserve sectoriality or the sector angle; by [L3] the sectorial operator generates a bounded analytic semigroup, which by [L2] is with norm , the inverse of the unbounded semigroup generated by ; the dictionary of [L1] therefore has to be applied to the operator that actually occurs, and the functions here are explicit, so no choice principle beyond Dependent Choice is used.
Depends on
- Sectorial operator with the semigroup sign convention
- Complex sector and bounded analytic semigroup
- Sectorial resolvent characterisation of bounded analytic semigroups
- The exponential series of a bounded operator
- A bounded linear operator between normed spaces
- The operator norm as the least bound and as the unit-sphere or unit-ball supremum
- The axiom of dependent choice: a relation in which every element is related to something admits an $\mathbb{N}$-indexed chain
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
53 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
- Roland Schnaubelt, Evolution Equations, Karlsruhe Institute of Technology (2023/24 course, complete lecture notes) (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)