On the maximal extension in the mixed ultradifferentiable weight sequence setting

Abstract

For the ultradifferentiable weight sequence setting it is known that the Borel map which is assigning to each function the infinite jet of derivatives (at 0) is surjective onto the corresponding weighted sequence class if and only if the sequence is strongly nonquasianalytic for both the Roumieu-and Beurling-type classes. Sequences which are nonquasianalytic but not strongly nonquasianalytic admit a controlled loss of regularity and we determine the maximal sequence for which such a mixed setting is possible for both types, hence get information on the controlled loss of surjectivity in this situation. Moreover, we compare the optimal sequences for both arising mixed strong nonquasianalyticity conditions in the literature.