Interpolation and extrapolation of smooth functions by linear operators. (English) Zbl 1084.58003

Fefferman, Charles

Rev. Mat. Iberoam. 21, No. 1, 313-348 (2005).

Let \( m \) and \( n \) be two integers with \( m\geq 1 \), \( n\geq 1 \). Denote by \( C^{m-1,1}({\mathbb R}^n) \) the Banach space of \( (m-1) \)-times differentiable functions in \( {\mathbb R}^n \) whose \( (m-1)^{th} \) derivatives are Lipschitz. Given a subset \( E \) of \( {\mathbb R}^n \) and a function \( \sigma : E\rightarrow [0,+\infty[ \), define \( C^{m-1,1}(E,\sigma) \) as the space of functions \( f :E\rightarrow {\mathbb R} \) for which there exist a function \( F \in C^{m-1,1}({\mathbb R}^n) \) and a constant \( M>0 \) such that \( \| F\|_{C^{m-1,1}({\mathbb R}^n)}\leq M \) and \( | F(x)-f(x)| \leq M\sigma (x) \) for all \( x\in E \). This is a Banach space with the norm \( \| f \|_{C^{m-1,1}(E,\sigma)} \) defined as the infimum of all such \( M \).
The author shows that there exists a linear map \( T: C^{m-1,1}(E,\sigma)\rightarrow C^{m-1,1}({\mathbb R}^n) \) and a constant \( A \) depending only on \( m \) and \( n \) such that, for any \( f\in C^{m-1,1}(E,\sigma) \) with \( \| f \|_{C^{m-1,1}(E,\sigma)}\leq 1 \), we have \( \| Tf\|_{C^{m-1,1}({\mathbb R}^n)}\leq A \) and \( | Tf(x)-f(x)| \leq A\sigma(x) \) for all \( x\in E \). In particular, taking \( \sigma=0 \) on \( E \), we get a continuous linear extension operator from the space \( C^{m-1,1}(E) \) of restrictions to \( E \) of elements of \( C^{m-1,1}({\mathbb R}^n) \), to the space \( C^{m-1,1}({\mathbb R}^n) \). The general result is obtained as the limit case (in some suitable sense) of an interpolation theorem for finite sets, with suitable continuity properties. The proofs rely heavily on refinements of the paper [Ann. Math. (2) 161, No. 1, 509–577 (2005; Zbl 1102.58005)] by the same author. The reader is assumed to be thoroughly familiar with that paper.

Reviewer: Vincent Thilliez (Villeneuve d’Ascq)

MSC:

58C25	Differentiable maps on manifolds
26E10	\(C^\infty\)-functions, quasi-analytic functions
52A35	Helly-type theorems and geometric transversal theory

Keywords:

linear extension operators; differentiable functions; Whitney type theorems

Citations:

Zbl 1102.58005

References:

[1]	Bierstone, E., Milman, P. and Pawlucki, W.: Differentiable func- tions defined on closed sets. A problem of Whitney. Invent. Math. 151 (2003), no. 2, 329-352. · Zbl 1031.58002 · doi:10.1007/s00222-002-0255-6
[2]	Brudnyi, Y.: A certain extension theorem. Funkcional Anal. i Prilzhen. 4 (1970), no. 3, 97-98. English translation in Func. Anal. Appl. 4 (1970), 252-253.
[3]	Brudnyi Y., and Shvartsman, P.: A linear extension operator for a space of smooth functions defined on closed subsets of Rn. Dokl. Akad. Nauk SSSR 280 (1985), no. 2, 268-272.
[4]	Brudnyi, Y. and Shvartsman, P.: Generalizations of Whitney’s exten- sion theorem. International Math. Res. Notices 3 (1994), 129-139. · Zbl 0845.57022 · doi:10.1155/S1073792894000140
[5]	Brudnyi Y., and Shvartsman, P.: The Whitney problem of existence of a linear extension operator. J. Geom. Anal. 7 (1997), no. 4, 515-574. · Zbl 0937.58007 · doi:10.1007/BF02921632
[6]	Brudnyi Y., and Shvartsman, P.: Whitney’s extension problem for multivariate C1,\omega functions. Trans. Amer. Math. Soc. 353 (2001), no. 6, 2487-2512. · Zbl 0973.46025 · doi:10.1090/S0002-9947-01-02756-8