English

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

Commutative Algebra 2022-12-14 v1

Abstract

For kN{}k\in \N\cup \{\infty\} and UU open in R \R, let \Ck(U)\C^{\,k}(U) be the ring of real valued functions on UU with the first kk derivatives continuous. It is shown for f\Ck(U)f\in \C^{\,k}(U) there is g\ckg\in \ck{\infty} with U\sbq\cozgU\sbq \coz g and h\ckkh\in \ck{k} with fg\resU=h\resUfg\res_U=h\res_U. The function ff and its kk derivatives are not assumed to be bounded on UU. The function gg is constructed using splines based on the Mollifier function. Some consequences about the ring \ckk\ck{k} are deduced from this, in particular that \qcl(\ckk)=Q(\ckk)\qcl(\ck{k}) = \text{Q}(\ck{k}).

Cite

@article{arxiv.2212.06652,
  title  = {On extending C^k functions from an open set to R, with applications},
  author = {W. D. Burgess and R. Raphael},
  journal= {arXiv preprint arXiv:2212.06652},
  year   = {2022}
}

Comments

14 pages

R2 v1 2026-06-28T07:32:30.086Z