On extending C^k functions from an open set to R, with applications

For $k\in \N\cup \{\infty\}$ and $U$ open in $ \R$, let $\C^{\,k}(U)$ be the ring of real valued functions on $U$ with the first $k$ derivatives continuous. It is shown for $f\in \C^{\,k}(U)$ there is $g\in \ck{\infty}$ with $U\sbq \coz g$ and $h\in \ck{k}$ with $fg\res_U=h\res_U$. The function $f$...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Burgess, W. D, Raphael, R
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:For $k\in \N\cup \{\infty\}$ and $U$ open in $ \R$, let $\C^{\,k}(U)$ be the ring of real valued functions on $U$ with the first $k$ derivatives continuous. It is shown for $f\in \C^{\,k}(U)$ there is $g\in \ck{\infty}$ with $U\sbq \coz g$ and $h\in \ck{k}$ with $fg\res_U=h\res_U$. The function $f$ and its $k$ derivatives are not assumed to be bounded on $U$. The function $g$ is constructed using splines based on the Mollifier function. Some consequences about the ring $\ck{k}$ are deduced from this, in particular that $\qcl(\ck{k}) = \text{Q}(\ck{k})$.
DOI:10.48550/arxiv.2212.06652