Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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 N-indexed chain) for the cited integral and semigroup suppliers.

The statement "replacing A by −A preserves sectoriality at vertex 0 and the sector angle, merely inverting the generated semigroup" is false. Witness: X=C and A=1. Then σ(A)={1}, and 1∈Σπ/2+δ for every δ>0, so Σπ/2+δ⊈ρ(A) and A is not sectorial in the etA convention (Sectorial operator with the semigroup sign convention); the generated semigroup is et, which is not bounded. However −A=−1 satisfies Σπ/2+δ⊆ρ(−A)=C∖{−1} for every δ<π/2, with ∥R(λ,−A)∥=1/∣λ+1∣≤Mε/∣λ∣ on Σπ/2+δ−ε where Mε=1/sin⁡ε; hence −A is sectorial of angle π/2 and generates the bounded analytic semigroup e−t (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 "A is sectorial" changes the sector by reflection through the origin.

Refuted claim. If A is sectorial at vertex 0 in the etA convention then so is −A, with the same sector angle, and the generated semigroup is merely replaced by its inverse. The one-dimensional operator A=1 has σ(A)={1} inside every sector Σπ/2+δ, so it is not sectorial at vertex 0, while −A=−1 is sectorial of the maximal angle π/2 and generates the contractive semigroup e−t.

Facts & Assumptions

Given: The one-dimensional complex Banach space X=C, the bounded operators A=1 and −A=−1 acting as multiplication on X, and the open sectors Σγ={λ≠0:∣arg⁡λ∣<γ}.

[L1]

A is sectorial of angle δ∈(0,π/2] at vertex ω in the etA convention when ω+Σπ/2+δ⊆ρ(A) with ∥R(λ,A)∥≤Mε/∣λ−ω∣ on ω+Σπ/2+δ−ε for every ε∈(0,δ) (Sectorial operator with the semigroup sign convention).

[L2]

For a bounded operator A∈B(X) the series E(t)=∑n≥0tnAn/n! is a strongly continuous group of bounded operators whose generator is A, with ∥E(t)∥≤e∣t∣∥A∥ (The exponential series of a bounded operator, A bounded linear operator between normed spaces).

[L3]

The conditions (a)-(e) of the sectorial resolvent characterisation are equivalent, so a densely defined closed operator sectorial at vertex 0 with a positive exponent generates a bounded analytic semigroup (Sectorial resolvent characterisation of bounded analytic semigroups, Complex sector and bounded analytic semigroup).

[L4]

The operator norm is submultiplicative and ∣R(λ,−1)∣=1/∣λ+1∣ in the one-dimensional space (The operator norm as the least bound and as the unit-sphere or unit-ball supremum).

Counterexample

technique · direct
1.1L1L2L4givenalgebra

The witness A=1 is not sectorial. In X=C the operator λI−A is multiplication by λ−1, which is invertible exactly for λ≠1, so ρ(A)=C∖{1} and σ(A)={1}; since 1∈Σπ/2+δ for every δ>0, no sector with vertex 0, Σπ/2+δ, is contained in ρ(A) and [L1] rules out sectoriality at vertex 0 of every positive exponent; moreover A is bounded with ∥A∥=1, so [L2] gives the generated semigroup E(t)=et with ∥E(t)∥=et, which is unbounded on [0,∞).

1.2L1L4givenalgebra

The reflected operator −A=−1 is sectorial of angle π/2. Here λI+A is multiplication by λ+1, invertible for λ≠−1, so ρ(−A)=C∖{−1} and R(λ,−A)=(λ+1)−1; the point −1 has argument π while every λ∈Σπ/2+δ has ∣arg⁡λ∣<π/2+δ≤π for δ≤π/2, so −1∉Σπ/2+δ and Σπ/2+δ⊆ρ(−A); for λ=reiα∈Σπ/2+δ−ε with ε<δ≤π/2 one has ∣α∣≤π/2+δ−ε<π−ε, hence cos⁡∣α∣≥cos⁡(π−ε)=−cos⁡ε and ∣λ+1∣2=r2+2rcos⁡∣α∣+1≥r2−2rcos⁡ε+1=(rcos⁡ε−1)2+r2sin⁡2ε≥r2sin⁡2ε; hence ∥R(λ,−A)∥=1/∣λ+1∣≤Mε/∣λ∣ with Mε=1/sin⁡ε, and [L1] makes −A sectorial of angle π/2.

2.1step 1.1step 1.2L1L2L3givenalgebra∎

The refutation. The two computations show that A=1 is not sectorial in the etA convention while −A=−1 is sectorial of the endpoint angle π/2, so replacing A by −A does not preserve sectoriality or the sector angle; by [L3] the sectorial operator −A generates a bounded analytic semigroup, which by [L2] is t↦e−t with norm e−t≤1, the inverse of the unbounded semigroup et generated by A; 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

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