## The trace of jet space $J^k\Lambda ^\omega$ to an arbitrary closed subset of $\mathbb {R}^n$

HTML articles powered by AMS MathViewer

- by Yuri Brudnyi and Pavel Shvartsman PDF
- Trans. Amer. Math. Soc.
**350**(1998), 1519-1553 Request permission

## Abstract:

The classical Whitney extension theorem describes the trace $J^k|_X$ of the space of $k$-jets generated by functions from $C^k(\mathbb R^n)$ to an arbitrary closed subset $X\subset \mathbb R^n$. It establishes existence of a bounded linear extension operator as well. In this paper we investigate a similar problem for the space $C^k\Lambda$ of functions whose higher derivatives satisfy the Zygmund condition with majorant $\omega$. The main result states that the vector function $\vec f=(f_\alpha \colon X\to \mathbb R)_{|\alpha |\le k}$ belongs to the corresponding trace space if the trace $\vec f|_Y$ to every subset $Y\subset X$ of cardinality $3\cdot 2^\ell$, where $\ell =(\begin {smallmatrix}n+k-1 k+1\end {smallmatrix})$, can be extended to a function $f_Y\in C^k\Lambda$ and $\sup _Y|f_Y|_{C^k\Lambda ^\omega }<\infty$. The number $3\cdot 2^l$ generally speaking cannot be reduced. The Whitney theorem can be reformulated in this way as well, but with a two-pointed subset $Y\subset X$. The approach is based on the theory of local polynomial approximations and a result on Lipschitz selections of multivalued mappings.## References

- Yu. Brudnyi,
*A multidimensional analog of a theorem of Whitney*, Mat. Sbornik,**82**(124) (1970), N2, 175â191; English transl. in Math. USSR Sbornik,**11**(1970), N2, 157â170. - Yuri Brudnyi and Pavel Shvartsman,
*Generalizations of Whitneyâs extension theorem*, Internat. Math. Res. Notices**3**(1994), 129 ff., approx. 11. MR**1266108**, DOI 10.1155/S1073792894000140 - Yu. A. BrudnyÄ and P. A. Shvartsman,
*A linear extension operator for a space of smooth functions defined on a closed subset in $\textbf {R}^n$*, Dokl. Akad. Nauk SSSR**280**(1985), no.Â 2, 268â272 (Russian). MR**775048** - â,
*The Whitney Problem of Existence of a Linear Extension Operator*, The Journal of Geometric Analysis (to appear). - â, âA description of the trace of a function from the generalized Lipschitz space to an arbitrary compactâ in
*Studies in the Theory of Functions of Several Real Variables*, Yaroslav State Univ., Yaroslavl, 1982, 16â24 (Russian). - Georges Glaeser,
*Ătude de quelques algĂ¨bres tayloriennes*, J. Analyse Math.**6**(1958), 1â124; erratum, insert to 6 (1958), no. 2 (French). MR**101294**, DOI 10.1007/BF02790231 - L. G. Hanin, âA trace description of functions with high order derivatives from generalized Zygmund space to arbitrary closed subsetsâ in
*Studies in the Theory of Functions of Several Real Variables*, Yaroslav. State Univ., Yaroslavl, 1987, 128â144 (Russian). - Alf Jonsson and Hans Wallin,
*Function spaces on subsets of $\textbf {R}^n$*, Math. Rep.**2**(1984), no.Â 1, xiv+221. MR**820626** - P. A. Shvartsman,
*Lipschitz sections of set-valued mappings and traces of functions from the Zygmund class on an arbitrary compactum*, Dokl. Akad. Nauk SSSR**276**(1984), no.Â 3, 559â562 (Russian). MR**752427** - P. A. Shvartsman,
*Traces of functions of Zygmund class*, Sibirsk. Mat. Zh.**28**(1987), no.Â 5, 203â215 (Russian). MR**924998** - P. A. Shvartsman,
*Lipschitz sections of multivalued mappings*, Studies in the theory of functions of several real variables (Russian), Yaroslav. Gos. Univ., Yaroslavlâ˛1986, pp.Â 121â132, 149 (Russian). MR**878806** - P. A. Shvartsman,
*$K$-functionals of weighted Lipschitz spaces and Lipschitz selections of multivalued mappings*, Interpolation spaces and related topics (Haifa, 1990) Israel Math. Conf. Proc., vol. 5, Bar-Ilan Univ., Ramat Gan, 1992, pp.Â 245â268. MR**1206505** - Elias M. Stein,
*Singular integrals and differentiability properties of functions*, Princeton Mathematical Series, No. 30, Princeton University Press, Princeton, N.J., 1970. MR**0290095** - H. Whitney,
*Analytic extension of differentiable function defined in closed sets*, Trans. Amer. Math. Soc.**36**(1934), 63â89.

## Additional Information

**Yuri Brudnyi**- Affiliation: Department of Mathematics, Technion-Israel Institute of Technology, Haifa 32000, Israel
- Email: ybrudnyi@techunix.technion.ac.il
**Pavel Shvartsman**- Affiliation: Department of Mathematics, Technion-Israel Institute of Technology, Haifa 32000, Israel
- Email: pshv@techunix.technion.ac.il
- Received by editor(s): February 28, 1995
- Received by editor(s) in revised form: July 25, 1996
- Additional Notes: The first-named author was supported by the Fund for Promotion of Research at the Technion and the J. & S. Frankel Research Fund. The second-named author was supported by the Center for Absorption in Science, Israel Ministry of Immigrant Absorption.
- © Copyright 1998 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**350**(1998), 1519-1553 - MSC (1991): Primary 46E35
- DOI: https://doi.org/10.1090/S0002-9947-98-01872-8
- MathSciNet review: 1407483