2026/08/06 by Emiel Lorist, Martin Meyries, Mark Veraar
Computer Science · Mathematics · #cs.NA #math.FA #math.NA #msc:46B15 #msc:47A35 #msc:47D06 #msc:65J08
19 pages
arxiv created 2026/08/06 · arxiv published 2026/08/06 · arxiv updated 2026/08/07
We give a negative solution to the inverse generator problem on Hilbert spaces. More precisely, we construct a bounded operator A with dense range on a Hilbert space H that generates a bounded, strongly stable C0-semigroup, while A-1 does not generate a C0-semigroup. We also construct an exponentially stable generator A with 0 ∈ ρ(A) such that the inverse semigroup is unbounded and grows at least double logarithmically. For the latter generator, every Cayley transform satisfies the ordinary Kreiss resolvent condition but is neither strongly Kreiss bounded nor power bounded. Moreover, its powers satisfy a doubly logarithmic lower bound. Consequently, the Crank--Nicolson scheme is unstable in operator norm both for every fixed step size over long times and under mesh refinement at any fixed final time. Our counterexamples are deduced from a common finite-dimensional construction. For α∈(0,1), we use explicit bases of ℂ2n whose partial-sum projections are uniformly bounded and whose unconditionality constants are comparable to nα. The matrices underlying the counterexamples are then obtained as Schauder multipliers with respect to these bases, using a sequence of eigenvalues whose moduli decay doubly exponentially.