Basis in the space of \(C^\infty\)-functions on a graduated sharp cusp
type: Item
instance of: scholarly article
title: Basis in the space of \(C^\infty\)-functions on a graduated sharp cusp
zbMATH Open document ID: 1043.46023
DOI: 10.1007/BF02930999
author: Alexander Goncharov
author: Vyacheslav Zakharyuta
published in: The Journal of Geometric Analysis
publication date: 2003-12-04T00:00:00Z
review text: Let \((x_k)_{k\in\mathbb{N}}\), \((\delta_k)_{k\in\mathbb{N}}\), and \((\psi_k)_{k\in\mathbb{N}}\) be null-sequences of positive real numbers. Assume that for some \(C> 0\) they satisfy \(x_k\leq C\delta_k\) and \(\delta_k\geq C\delta_{k+1}\), \(k\in\mathbb{N}\). Define \(a_k:= x_k- \delta_k\), \(b_k:= x_k+ \delta_k\), \(I_k:= [a_k, b_k]\), \(a_0:= b_1\), \(K:= \{0\}\cup\bigcup^\infty_{k=1} I_k\times [-\psi_k, \psi_k]\), \(\psi: ]0,1[\to \mathbb{N}\), \(\psi(x):= \psi_k\) for \(x\in [a_{k+1}, a_k[\), and \[ \Omega_\psi:= \{(x, y)\in \mathbb{R}^2: 0< x< 1,\,| y|\leq \psi(x)\}. \] Assume that \(I_k\subset [0,1]\) and \(C\text{\,dist}(I_k, I_{k+1})\geq \delta_k\), \(k\in\mathbb{N}\). Denote by \({\mathcal E}(K)\) the space of all Whitney functions on \(K\) and let \[ C^\infty(\overline\Omega_\psi):= \{f\in C^\infty(\Omega_\psi): f^{(\alpha)}\text{ is uniformly continuous on }\Omega_\psi\text{ for each }\alpha\in\mathbb{N}^2_0\}. \] The set \(\overline\Omega_\psi\) has a ``cusp'' at the origin and varying the sequence \((\psi_k)_{k\in\mathbb{N}}\) obtains a continuum of pairwise nonisomorphic nuclear Fréchet spaces \(C^\infty(\overline\Omega_\psi)\). The authors use scaled Chebyshev polynomials to construct a basis in the space \({\mathcal E}(K)\). An argument of Mityagin is then applied to construct a continuous projection \(Q\) on \(C^\infty(\overline\Omega_\psi)\) with range \({\mathcal E}(K)\) and it is shown that this basis of \({\mathcal E}(K)\) can be enlarged to a basis of \(C^\infty(\overline\Omega_\psi)\). Moreover, it is proved that \({\mathcal E}(K)\) is isomorphic to the space \(s\) iff there is \(M> 0\) such that \(\psi_k> \delta^M_k\) for all \(k\in\mathbb{N}\).
reviewed by: Reinhold Meise
Mathematics Subject Classification ID: 46E10
Mathematics Subject Classification ID: 46A35
zbMATH DE Number: 2013178
zbMATH Keywords: bases in Fréchet spaces
zbMATH Keywords: Whitney functions
MaRDI profile type: Publication
cites work: Régularité analytique et iterés d'opérateurs elliptiques dégénérées; applications
cites work: Modified construction of nuclear Frechet spaces without basis
cites work: The space of real-analytic functions has no basis
cites work: Q3790097
cites work: Q4761383
cites work: Q5576416
cites work: Q4296691
cites work: Q5566770
cites work: Q4340900
cites work: APPROXIMATE DIMENSION AND BASES IN NUCLEAR SPACES
cites work: Fortsetzungen von \(C^\infty\)-Funktionen, welche auf einer abgeschlossenen Menge in \(R^ n\) definiert sind
cites work: An example of a continuum of pairwise non-isomorphic spaces of $C^{∞}$-functions
cites work: Q5727762
cites work: Erzeugung des nuklearen lokalkonvexen Raumes \(C^ \infty (\overline\Omega)\) durch einen elliptischen Differentialoperator zweiter Ordnung
cites work: Q3669992
cites work: Q3998033
cites work: Q5583390
cites work: Examples of nuclear linear metric spaces without a basis
description: scientific article; zbMATH DE number 2013178