scientific article; zbMATH DE number 1064602

MaRDI QIDQ4355933zbMATH OpenFDO

Authors Giorgio Metafune, V. B. Moscatelli, Angela A. Albanese

Publication date 9 December 1998

zbMATH Keywords

complete classificationexistence of basesFréchet-Sobolev spaces

Mathematics Subject Classification ID

Locally convex Fréchet spaces and (DF)-spaces (46A04) Topological linear spaces of continuous, differentiable or analytic functions (46E10) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)

Review text

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].

Recommendations

• Representations of the spaces C^m(Ω) ∩ H^{k, p} (Ω)
• Representations of the spaces \(C^\infty(\mathbb{R}^N)\cap H^{k,p}(\mathbb{R}^N)\)
• Isomorphic classification of the spaces \(H_{\text{loc}}^k(\mathbb{R})\cap L^2(\mathbb{R})\)

Cited in

(7)

• Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
• On the spaces \(C^ k(\mathbb{R})\cap L^ p(\mathbb{R})\)
• Representations of the spaces \(C^\infty(\mathbb{R}^N)\cap H^{k,p}(\mathbb{R}^N)\)
• scientific article; zbMATH DE number 4028149 (Why is no real title available?)
• scientific article; zbMATH DE number 1136771 (Why is no real title available?)
• Representations of the spaces C^m(Ω) ∩ H^{k, p} (Ω)
• Representation theorems for Sobolev spaces on intervals and multiplicity results for nonlinear ODEs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4355933)