On E. Borel's theorem
type: Item
instance of: scholarly article
title: On E. Borel's theorem
zbMATH Open document ID: 0633.46033
DOI: 10.1007/BF01456977
author: Hans-Joachim Petzsche
published in: Mathematische Annalen
publication date: 1988-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164462
review text: E. Borel's theorem states that the map \(R: C^{\infty}[-1,1]\to {\mathbb{C}}^{{\mathbb{N}}_ 0}\), \(R(f):=(f^{(p)}(0))_{p\geq 0}\), is surjective. B. Mitiagin observed that R does not admit a continuous linear right inverse \(E: {\mathbb{C}}^{{\mathbb{N}}_ 0}\to C^{\infty}[-1,1]\), i.e. there is no continuous linear operator which extends all \(C^{\infty}\)-jets defined at a single point into a neighbourhood. In this article R is considered as a map from \({\mathcal E}_{M_ p}[-1,1]\) into \(\Lambda _{M_ p}\) where \({\mathcal E}_{(M_ p)}\) resp. \({\mathcal E}_{\{M_ p\}}\) denotes a non-quasi-analytic class of minimal resp. maximal type and \(\Lambda _{(M_ p)}\) resp. \(\Lambda _{\{M_ p\}}\) are the sequence spaces the elements of which satisfy the same growth conditions in terms of the sequence \((M_ p)\) as the derivatives of the elements of \({\mathcal E}_{(M_ p)}\) resp. \({\mathcal E}_{\{M_ p\}}.\) In both cases we give conditions on \((M_ p)\) equivalent to the surjectivity of \(R: {\mathcal E}_{M_ p}[-1,1]\to \Lambda _{M_ p}\) and to the existence of a continuous linear extension operator \(E: \Lambda\) \({}_{M_ p}\to {\mathcal E}_{M_ p}[-1,1]\). These results imply for Gevrey sequences \(M_ p=p^ s\), \(s>1\), that R is surjective for both types and admits a continuous linear right inverse for the minimal but not for the maximal type. The proofs rely on those convolution methods which provide the solution of the Denjoy-Carleman problem. For Gevrey sequences the surjectivity of R was proved by many authors. Concerning continuous linear extension D. Vogt seems to have observed first the non-existence for the maximal Gevrey type while \textit{R. Meise} and \textit{B. A. Taylor} [C. R. Acad. Sci., Paris, Sér. I 302, 219-222 (1986; Zbl 0587.46038)] provide linear extension operators for many minimal type cases including Gevrey sequences.
Mathematics Subject Classification ID: 46F05
Mathematics Subject Classification ID: 47A05
Mathematics Subject Classification ID: 46F10
zbMATH DE Number: 4030240
zbMATH Keywords: E. Borel's theorem
zbMATH Keywords: right inverse
zbMATH Keywords: jets
zbMATH Keywords: non-quasi-analytic class of minimal resp. maximal type
zbMATH Keywords: surjectivity
zbMATH Keywords: existence of a continuous linear extension operator
zbMATH Keywords: Gevrey sequences
zbMATH Keywords: solution of the Denjoy- Carleman problem
MaRDI profile type: Publication
cites work: On Universal Moment Problems.
cites work: Q5509089
cites work: Q5590963
cites work: Q3671563
cites work: Q4165767
cites work: Ultradifferentiable Functions on Compact Intervals
cites work: Bases in spaces of ultradifferentiable functions with compact support
cites work: Q3712962
cites work: Linear Extension Operators for Ultradifferentiable Functions of Beurling Type on Compact Sets
cites work: Whitney's extension theorem for ultradifferentiable functions of Beurling type
cites work: Q5341894
cites work: APPROXIMATE DIMENSION AND BASES IN NUCLEAR SPACES
cites work: Q3869808
cites work: Almost analytic extension of ultradifferentiable functions and the boundary values of holomorphic functions
cites work: Q4150684
cites work: Interpolation in Non-Quasi-Analytic Classes of Infinitely Differentiable Functions.
description: scientific article; zbMATH DE number 4030240