The trace of jet space

to an arbitrary closed subset of

Authors:
Yuri Brudnyi and Pavel Shvartsman

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

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: The classical Whitney extension theorem describes the trace of the space of -jets generated by functions from to an arbitrary closed subset . It establishes existence of a bounded linear extension operator as well. In this paper we investigate a similar problem for the space of functions whose higher derivatives satisfy the Zygmund condition with majorant . The main result states that the vector function belongs to the corresponding trace space if the trace to every subset of cardinality , where , can be extended to a function and . The number generally speaking cannot be reduced. The Whitney theorem can be reformulated in this way as well, but with a two-pointed subset . The approach is based on the theory of local polynomial approximations and a result on Lipschitz selections of multivalued mappings.

**[B]**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.**[BS]**Yu. Brudnyi and P. Shvartsman,*Generalizations of Whitney's Extension Theorem*, Internat. Math. Res. Notices, N3 (1994), 129-139. MR**95c:58018****[BS1]**-,*A linear extension operator for a space of smooth functions defined on a closed subset of*, Dokl. Akad. Nauk SSSR**280:2**(1985), 268-272; English transl. in Soviet Math. Dokl.**31**(1985), 48-51. MR**86f:46031****[BS2]**-,*The Whitney Problem of Existence of a Linear Extension Operator*, The Journal of Geometric Analysis (to appear).**[BS3]**-, ``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).**[G]**G. Glaeser,*Étude de quelques algèbres tayloriennes*, J. Analyse Math.**6**(1958), 1-124. MR**21:107****[H]**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).**[JW]**A Jonsson and H. Wallin,*Function spaces on subsets of*, Math. Rep.**2**(1984), Part 1. MR**87f:46056****[Sh]**P. 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), 559-562; English transl. in Soviet Math. Dokl.,**29**(1984), 565-568. MR**85j:46057****[Sh1]**-,*Traces of functions of the Zygmund class*, Sibirsk. Mat. Zh.**28:5**(1987), 203-215; English transl. in Siberian Math. J.**28**(1987), 853-863. MR**89a:46081****[Sh2]**-, ``Lipschitz sections of multivalued mappings'' in*Studies in the Theory of Functions of Several Real Variables*, Yaroslav. State Univ., Yaroslavl, 1986, 121-132 (Russian). MR**88e:46032****[Sh3]**-, ``-functionals of weighted Lipschitz spaces and Lipschitz selections of multivalued mappings'' in*Interpolation Spaces and Related Topics*, Israel Math. Conf. Proc.**5**, Weizmann, Jerusalem, 1992, 245-268. MR**94c:46069****[St]**E. M. Stein,*Singular Integrals and Differentiability Properties of Functions*, Princeton Univ. Press, Princeton, 1970. MR**44:7280****[W]**H. Whitney,*Analytic extension of differentiable function defined in closed sets*, Trans. Amer. Math. Soc.**36**(1934), 63-89.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
46E35

Retrieve articles in all journals with MSC (1991): 46E35

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

DOI:
https://doi.org/10.1090/S0002-9947-98-01872-8

Keywords:
Trace spaces of smooth functions,
Whitney's extension theorem,
finiteness property,
Lipschitz selections of multivalued mappings

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.

Article copyright:
© Copyright 1998
American Mathematical Society