Higher-order tangents and Fefferman's paper on Whitney's extension problem
According to a classical result of Whitney, a function defined on a closed subset of \( {\mathbb R} \) is the restriction of a \( C^m \) function if the limiting values of all its \( m^{\text{th}} \) divided differences with supports converging to points form a continuous function. In their earlier work [Invent. Math. 151, No.~2, 329--352 (2003; Zbl 1031.58002)], the authors conjectured that a real-valued function \( \varphi \) defined on a closed subset \( E \) of \( {\mathbb R}^n \) is the restriction of a \( C^m \) function provided that \( \varphi \) extends to a function on a ``paratangent bundle defined using iterated limits of finite difference operators. In the very interesting present paper, they prove that their conjectures hold with the paratangent bundle replaced by a natural geometric variant which, in turn, coincides with the so-called ``Zariski paratangent bundle \( {\mathcal T}^m(E) \) defined as follows: let \( {\mathcal P} \) denote the vector space of real \( m^{\text{th}} \) degree polynomials on \( {\mathbb R}^n \) and let \( {\mathcal P}^* \) be its dual space; let \( T^m_yF \) denote the \( m^{\text{th}}\) Taylor polynomial of a function \( F\in C^m({\mathbb R}^m) \) at a point \( y \in E \). Then \( {\mathcal T}^m(E)=\{(y,\xi)\in E\times{\mathcal P}^* : \xi(T^m_yF)=0\;\text{ for\;all}\;F\in C^m({\mathbb R}^n)\;\text{ such\;that}\;F_{| E}=0\} \). The statements obtained by the authors are, in fact, equivalent to the solution of Whitney's problem given by \textit{C. Fefferman} [Ann. Math. (2) 164, No.~1, 313--359 (2006; Zbl 1109.58016)]. A key step consists in showing that the ``Glaeser refinements of Fefferman are dual to certain ``Glaeser operations in the sense of the authors loc. cit.
- Differentiable functions defined in closed sets. A problem of Whitney
- Whitney's extension problem for \(C^m\)
- Smooth selection for infinite sets
- Restrictions of smooth functions to a closed subset.
- \(C^1\) extensions of functions and stabilization of Glaeser refinements
- Examples concerning Whitney's \({\mathcal C}^m\) extension problem
- scientific article; zbMATH DE number 3877534
- The \(C^m\) norm of a function with prescribed jets. I.
- Publication:3485176
- scientific article; zbMATH DE number 16802
- An MRA approach to surface completion and image inpainting
- Extension of \(C^{m, \omega}\)-smooth functions by linear operators
- Fitting a C^m-smooth function to data. II
- The C^m norm of a function with prescribed jets. II
- A coordinate-free proof of the finiteness principle for Whitney's extension problem
- \(C^{1, \omega }\) extension formulas for $1$-jets on Hilbert spaces
- Efficient algorithms for approximate smooth selection
- A Whitney extension theorem for functions taking values in scales of Banach spaces
- \(C^m\) semialgebraic sections over the plane
- Quasi-Nash varieties and Schwartz functions on them
- Smooth convex extensions of convex functions
- \(C^1\) extensions of functions and stabilization of Glaeser refinements
- A generalized sharp Whitney theorem for jets
- Finiteness principles for smooth selection
- The Whitney extension problem and Lipschitz selections of set-valued mappings in jet-spaces
- Whitney’s extension problems and interpolation of data
- Interpolation of data by smooth nonnegative functions
- Two stars theorems for traces of the Zygmund space
- Whitney's extension theorem and the finiteness principle for curves in the Heisenberg group
- \(C^2\) interpolation with range restriction
- The \(C^m\) norm of a function with prescribed jets. I.
- On geometric preduals of jet spaces on closed subsets of \(\mathbb{R}^n\)
- An example related to Whitney extension with almost minimal \(C^m\) norm
- Locally \(C^{1,1}\) convex extensions of \(1\)-jets
- Whitney's extension problem for \(C^m\)
- Examples concerning Whitney's \({\mathcal C}^m\) extension problem
- \({\mathcal C}^m\)-norms on finite sets and \({\mathcal C}^m\) extension
- Smooth extensions of functions on separable Banach spaces
- The structure of linear extension operators for \(C^m\)
This page was built for publication: Higher-order tangents and Fefferman's paper on Whitney's extension problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855261)
