Extension of vector-valued functions and weak-strong principles for differentiable functions of finite order (Q2062140)

This article investigates the following problem: Let \(\Lambda\) be a subset of \(\Omega\). Assume that a function \(f:\Lambda \rightarrow E\), with values in a locally convex space \(E\), satisfies that \(u \circ f\) can be extended to \(\Omega\) for each \(u\) in a subspace \(G\) of the dual \(E'\) of \(E\), and that each extension belongs to a certain function space \(\mathcal{F}(\Omega)\) of scalar functions. The question is to give conditions on \(\Lambda\), \(\Omega\), \(G\) and \(E\) to ensure that there is a vector valued function \(F:\Omega \rightarrow E\), belonging to a related space \(\mathcal{F}(\Omega,E)\) of vector valued functions, such that its restriction to \(\Gamma\) coincides with \(f\). This type of problems have been considered in the literature by many authors since the seminal work of Dunford and Grothendieck. Positive answers to the problem mentioned above are sometimes called weak-strong principles. The author treats the case of weighted Banach spaces \(\mathcal{F}_v(\Omega)\), which had been introduced and studied by him in some papers published before. The basic examples are \(\mathcal{F}_v(\Omega,E)=H^{\infty}(\Omega,E)\) with the sup-norm topology and \(\mathcal{F}(\Omega,E)=H(\Omega,E)\) with the compact open topology. These cases were treated by Frerick, Grosse-Erdmann, Jordá and Wengenroth.