No label defined (Q4355933)

In [Math. Proc. Camb. Philos. Soc. 120, No. 3, 489-498 (1996)], we obtained a complete classification of the Fréchet-Sobolev spaces \(C^m(\Omega)\cap H^{k,p}(\Omega)\) for \(\Omega\) open in \(\mathbb{R}\) and \(0\leq k\leq m\), \(1\leq p\leq+\infty\). In particular, we proved that \(C^m(\Omega)\cap H^{k,p}(\Omega)\) has a representation as a space of vector-valued sequences, from which it follows that \(C^m(\Omega)\cap H^{k,p}(\Omega)\) is isomorphic to \(C^{m- k}(\mathbb{R})\cap L^p(\mathbb{R})\) and has a basis for \(p<+\infty\). In the same paper, we also gave a similar representation for the space \(C^m(\mathbb{R}^N)\cap H^{k,p}(\mathbb{R}^N)\), from which topological properties were derived extending results in [\textit{J. Bonet} and \textit{J. Taskinen}, Bull. Soc. Roy. Sci. Liège 58, No. 6, 483-490 (1989; Zbl 0711.46001)]. As already observed in the first cited paper, that representation was not, however, sufficient to ensure the existence of bases. To obtain this, we provide in the present paper a new representation for \(C^m(\mathbb{R}^N)\cap H^{k,p}(\mathbb{R}^N)\), thereby extending further the results on bases in the first cited paper and [\textit{P. Mattila} and \textit{J. Taskinen}, Rev. Mat. Univ. Complutense Madr. 6, No. 1, 83-99 (1993; Zbl 0814.46005)] which are confined to the one-dimensional case. We also note that the representation given here is in the same spirit as that in the first cited paper, although more difficult to obtain. Finally, we observe that our proofs are entirely analytic and that, for simplicity of notation, they will all be conducted in the case \(1\leq p<+\infty\): the case \(p= +\infty\) can be obtained with the usual modifications and is actually simpler. For the entire collection see [Zbl 0849.00034].