Pivot duality of universal interpolation and extrapolation spaces

TL;DR

This paper explores the duality between universal interpolation and extrapolation spaces associated with C0-semigroups, establishing conditions under which these spaces are Hausdorff, complete, and dual to each other, especially in the Sobolev scale.

Contribution

It demonstrates that the inductive limit of extrapolation spaces is Hausdorff and dual to the projective limit of interpolation spaces when a generator's power is self-adjoint, extending classical results.

Findings

The inductive limit is Hausdorff and complete.

Duality holds for the Sobolev scale.

Universal spaces relate to classical Schwartz spaces.

Abstract

It is a widely used method, for instance in perturbation theory, to associate with a given C0-semigroup its so-called interpolation and extrapolation spaces. In the model case of the shift semigroup acting on L^2(R), the resulting chain of spaces recovers the classical Sobolev scale. In 2014, the second named author defined the universal interpolation space as the projective limit of the interpolation spaces and the universal extrapolation space as the completion of the inductive limit of the extrapolation spaces, provided that the latter is Hausdorff. In this note we use the notion of the dual with respect to a pivot space in order to show that the aforementioned inductive limit is Hausdorff, already complete, and can be represented as the dual of the projective limit whenever a power of the generator of the initial semigroup is a self-adjoint operator. In the case of the classical Sobolev scale we show that the duality holds, and that the two universal spaces were already studied by Laurent Schwartz in the 1950s. Our results and examples complement the approach of Haase, who in 2006 gave a different definition of universal extrapolation spaces in the context of functional calculi. Haase avoids the inductive limit topology precisely for the reason that it a priori cannot be guaranteed that the latter is always Hausdorff. We show that this is indeed the case provided that we start with a semigroup defined on a reflexive Banach space.