Basis in the space of \(C^\infty\)-functions on a graduated sharp cusp (Q1414836): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Régularité analytique et iterés d'opérateurs elliptiques dégénérées; applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modified construction of nuclear Frechet spaces without basis / rank
 
Normal rank
Property / cites work
 
Property / cites work: The space of real-analytic functions has no basis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3790097 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4761383 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5576416 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4296691 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5566770 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4340900 / rank
 
Normal rank
Property / cites work
 
Property / cites work: APPROXIMATE DIMENSION AND BASES IN NUCLEAR SPACES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fortsetzungen von \(C^\infty\)-Funktionen, welche auf einer abgeschlossenen Menge in \(R^ n\) definiert sind / rank
 
Normal rank
Property / cites work
 
Property / cites work: An example of a continuum of pairwise non-isomorphic spaces of $C^{∞}$-functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5727762 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Erzeugung des nuklearen lokalkonvexen Raumes \(C^ \infty (\overline\Omega)\) durch einen elliptischen Differentialoperator zweiter Ordnung / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3669992 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3998033 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5583390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Examples of nuclear linear metric spaces without a basis / rank
 
Normal rank

Latest revision as of 12:14, 6 June 2024

scientific article
Language Label Description Also known as
English
Basis in the space of \(C^\infty\)-functions on a graduated sharp cusp
scientific article

    Statements

    Basis in the space of \(C^\infty\)-functions on a graduated sharp cusp (English)
    0 references
    4 December 2003
    0 references
    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}\).
    0 references
    bases in Fréchet spaces
    0 references
    Whitney functions
    0 references

    Identifiers