Whitney extension theorem explained

In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor's theorem. Roughly speaking, the theorem asserts that if A is a closed subset of a Euclidean space, then it is possible to extend a given function of A in such a way as to have prescribed derivatives at the points of A. It is a result of Hassler Whitney.

Statement

A precise statement of the theorem requires careful consideration of what it means to prescribe the derivative of a function on a closed set. One difficulty, for instance, is that closed subsets of Euclidean space in general lack a differentiable structure. The starting point, then, is an examination of the statement of Taylor's theorem.

Given a real-valued C^m function f(x) on Rⁿ, Taylor's theorem asserts that for each a, x, y ∈ Rⁿ, there is a function R_α(x,y) approaching 0 uniformly as x,y → a such thatwhere the sum is over multi-indices α.

Let f_α = D^αf for each multi-index α. Differentiating (1) with respect to x, and possibly replacing R as needed, yieldswhere R_α is o(|x - y|^m-|α|) uniformly as x,y → a.

Note that may be regarded as purely a compatibility condition between the functions f_α which must be satisfied in order for these functions to be the coefficients of the Taylor series of the function f. It is this insight which facilitates the following statement:

Theorem. Suppose that f_α are a collection of functions on a closed subset A of Rⁿ for all multi-indices α with

|\alpha|\le m satisfying the compatibility condition at all points x, y, and a of A. Then there exists a function F(x) of class C^m such that:

1. F = f₀ on A.
2. D^αF = f_α on A.
3. F is real-analytic at every point of Rⁿ - A.

Proofs are given in the original paper of, and in, and .

Extension in a half space

proved a sharpening of the Whitney extension theorem in the special case of a half space. A smooth function on a half space R^n,+ of points where x_n ≥ 0 is a smooth function f on the interior x_n for which the derivatives ∂^{α f extend to continuous functions on the half space. On the boundary x_n = 0, f restricts to smooth function. By Borel's lemma, f can be extended to a smooth function on the whole of Rn. Since Borel's lemma is local in nature, the same argument shows that if}

\Omega is a (bounded or unbounded) domain in Rⁿ with smooth boundary, then any smooth function on the closure of \Omega can be extended to a smooth function on Rⁿ.

Seeley's result for a half line gives a uniform extension map

\displaystyle{E:C ^{infty(R} ^{+) →} C ^{infty(R),}}

which is linear, continuous (for the topology of uniform convergence of functions and their derivatives on compacta) and takes functions supported in [0,''R''] into functions supported in [−''R'',''R'']

To define

E, set\displaystyle{E(f)(x) = \sum ^{inf ty} _{m =1} a _{m} f( - b _{mx)\varphi(-b} _{mx)} (x < 0 ),}

where φ is a smooth function of compact support on R equal to 1 near 0 and the sequences (a_m), (b_m) satisfy:

b _{m} > 0 tends to inf ty ;\sum a _{m} b ^{j} _{m} = ( -1 ) ^{j} for j \geq 0 with the sum absolutely convergent.

A solution to this system of equations can be obtained by taking

b _{n} = 2 ^{n} and seeking an entire functiong(z) = \sum ^{inf ty} _{m =1} a _{m} z ^{m}

such that

g\left( 2 ^{j\right)} = ( -1 ) ^{j.} That such a function can be constructed follows from the Weierstrass theorem and Mittag-Leffler theorem.

It can be seen directly by setting

W(z) = \prod _{j} ( 1- z/ 2 ^{j),}

an entire function with simple zeros at

2 ^{j.} The derivatives W '(2^j) are bounded above and below. Similarly the functionM(z) = \sum _{j} {( -1 ) ^{j\over} W ^{\prime(2} ^{j)} (z -2 ^{j)}}

meromorphic with simple poles and prescribed residues at

2 ^{j.}

By construction

\displaystyle{g(z) = W(z)M(z)}

is an entire function with the required properties.

The definition for a half space in Rⁿ by applying the operator R to the last variable x_n. Similarly, using a smooth partition of unity and a local change of variables, the result for a half space implies the existence of an analogous extending map

\displaystyle{C ^{infty(\overline{\Omega})} → C ^{infty(R} ^{n)}}

for any domain

\Omega in Rⁿ with smooth boundary.

See also

• The Kirszbraun theorem gives extensions of Lipschitz functions.