A Whitney extension theorem in L p and Besov spaces

Alf Jonsson; Hans Wallin

Annales de l'institut Fourier (1978)

  • Volume: 28, Issue: 1, page 139-192
  • ISSN: 0373-0956

Abstract

top
The classical Whitney extension theorem states that every function in Lip ( β , F ) , F R n , F closed, k < β k + 1 , k a non-negative integer, can be extended to a function in Lip ( β , R n ) . Her Lip ( β , F ) stands for the class of functions which on F have continuous partial derivatives up to order k satisfying certain Lipschitz conditions in the supremum norm. We formulate and prove a similar theorem in the L p -norm.The restrictions to R d , d < n , of the Bessel potential spaces in R n and the Besov or generalized Lipschitz spaces in R n have been characterized by the work of many authors (O.V. Besov, E.M. Stein, and others). We treat, for Besov spaces, the case when R d is replaced by a closed set F of a much more general kind than the sets which have been considered before. Our method of proof gives a new proof also in the case when F = R d . It also gives a contribution to the restriction and extension problem corresponding to the case d = n with F equal to the closure of a domain in R n .

How to cite

top

Jonsson, Alf, and Wallin, Hans. "A Whitney extension theorem in $L^p$ and Besov spaces." Annales de l'institut Fourier 28.1 (1978): 139-192. <http://eudml.org/doc/74344>.

@article{Jonsson1978,
abstract = {The classical Whitney extension theorem states that every function in Lip$(\beta ,F)$, $F\subset \{\bf R\}^n$, $F$ closed, $k&lt; \beta \le k+1$, $k$ a non-negative integer, can be extended to a function in Lip$(\beta ,\{\bf R\}^n)$. Her Lip$(\beta ,F)$ stands for the class of functions which on $F$ have continuous partial derivatives up to order $k$ satisfying certain Lipschitz conditions in the supremum norm. We formulate and prove a similar theorem in the $L^p$-norm.The restrictions to $\{\bf R\}^d$, $d&lt; n$, of the Bessel potential spaces in $\{\bf R\}^n$ and the Besov or generalized Lipschitz spaces in $\{\bf R\}^n$ have been characterized by the work of many authors (O.V. Besov, E.M. Stein, and others). We treat, for Besov spaces, the case when $\{\bf R\}^d$ is replaced by a closed set $F$ of a much more general kind than the sets which have been considered before. Our method of proof gives a new proof also in the case when $F = \{\bf R\}^d$. It also gives a contribution to the restriction and extension problem corresponding to the case $d=n$ with $F$ equal to the closure of a domain in $\{\bf R\}^n$.},
author = {Jonsson, Alf, Wallin, Hans},
journal = {Annales de l'institut Fourier},
language = {eng},
number = {1},
pages = {139-192},
publisher = {Association des Annales de l'Institut Fourier},
title = {A Whitney extension theorem in $L^p$ and Besov spaces},
url = {http://eudml.org/doc/74344},
volume = {28},
year = {1978},
}

TY - JOUR
AU - Jonsson, Alf
AU - Wallin, Hans
TI - A Whitney extension theorem in $L^p$ and Besov spaces
JO - Annales de l'institut Fourier
PY - 1978
PB - Association des Annales de l'Institut Fourier
VL - 28
IS - 1
SP - 139
EP - 192
AB - The classical Whitney extension theorem states that every function in Lip$(\beta ,F)$, $F\subset {\bf R}^n$, $F$ closed, $k&lt; \beta \le k+1$, $k$ a non-negative integer, can be extended to a function in Lip$(\beta ,{\bf R}^n)$. Her Lip$(\beta ,F)$ stands for the class of functions which on $F$ have continuous partial derivatives up to order $k$ satisfying certain Lipschitz conditions in the supremum norm. We formulate and prove a similar theorem in the $L^p$-norm.The restrictions to ${\bf R}^d$, $d&lt; n$, of the Bessel potential spaces in ${\bf R}^n$ and the Besov or generalized Lipschitz spaces in ${\bf R}^n$ have been characterized by the work of many authors (O.V. Besov, E.M. Stein, and others). We treat, for Besov spaces, the case when ${\bf R}^d$ is replaced by a closed set $F$ of a much more general kind than the sets which have been considered before. Our method of proof gives a new proof also in the case when $F = {\bf R}^d$. It also gives a contribution to the restriction and extension problem corresponding to the case $d=n$ with $F$ equal to the closure of a domain in ${\bf R}^n$.
LA - eng
UR - http://eudml.org/doc/74344
ER -

References

top
  1. [1] D.R. ADAMS, Traces of potentials arising from translation invariant operators, Ann. Sc. Norm. Sup. Pisa, 25 (1971), 203-217. Zbl0219.46027MR44 #4508
  2. [2] D.R. ADAMS and N.G. MEYERS, Bessel potentials. Inclusion relations among classes of exceptional sets, Indiana Univ. Math. J., 22 (1973), 873-905. Zbl0285.31007
  3. [3] R. ADAMS, N. ARONSZAJN, and K.T. SMITH, Theory of Bessel potentials, Part II, Ann. Inst. Fourier, 17, 2 (1967), 1-135. Zbl0185.19703MR37 #4281
  4. [4] N. ARONSZAJN, Potentiels Besseliens, Ann. Inst. Fourier, 15, 1 (1965), 43-58. Zbl0141.30403MR32 #1549
  5. [5] N. ARONSZAJN, F. MULLA, and P. SZEPTYCKI, On spaces of potentials connected with Lp-classes, Ann. Inst. Fourier, 13, 2 (1963), 211-306. Zbl0121.09604MR31 #5076
  6. [6] O.V. BESOV, Investigation of a family of function spaces in connection with theorems of imbedding and extension (Russian), Trudy Mat. Inst. Steklov, 60 (1961), 42-81 ; Amer. Math. Soc. Transl., (2) 40 (1964), 85-126. Zbl0158.13901
  7. [7] O.V. BESOV, The behavior of differentiable functions on a non-smooth surface, Trudy Mat. Inst. Steklov, 117 (1972), 1-9. Zbl0279.46018MR52 #6403
  8. [8] O.V. BESOV, On traces on a nonsmooth surface of classes of differentiable functions, Trudy Mat. Inst. Steklov, 117 (1972), 11-24. Zbl0279.46019
  9. [9] O.V. BESOV, Estimates of moduli of smoothness on domains, and imbedding theorems, Trudy Mat. Inst. Steklov, 117 (1972), 25-53. Zbl0279.46020
  10. [10] O.V. BESOV, Continuation of functions beyond the boundary of a domain with preservation of differential-difference properties in Lp, (Russian), Mat. Sb, 66 (108) (1965), 80-96 ; Amer. Math. Soc. Transl., (2) 79 (1969), 33-52. Zbl0189.43305
  11. [11] V.I. BURENKOV, Imbedding and continuation for classes of differentiable functions of several variables defined on the whole space, Progress in Math., 2, pp. 73-161, New York, Plenum Press, 1968. Zbl0185.20603
  12. [12] P.L. BUTZER and H. BERENS, Semi-groups of operators and approximation, Berlin, Springer-Verlag, 1967. Zbl0164.43702MR37 #5588
  13. [13] A.P. CALDERON, Lebesgue spaces of differentiable functions and distributions, Proc. Symp. in Pure Math., 4 (1961), 33-49. Zbl0195.41103MR26 #603
  14. [14] H. FEDERER, Geometric measure theory, Berlin, Springer-Verlag, 1969. Zbl0176.00801MR41 #1976
  15. [15] O. FROSTMAN, Potentiels d'équilibre et capacité des ensembles, Thesis, Lund, 1935. Zbl0013.06302JFM61.1262.02
  16. [16] B. FUGLEDE, On generalized potentials of functions in the Lebesgue classes, Math. Scand., 8 (1960), 287-304. Zbl0196.42002MR28 #2241
  17. [17] E. GAGLIARDO, Caratterizzazioni della trace sulla frontiera relative ad alcune classi di funzioni in n variabili, Rend. Sem. Mat. Padoa, 27 (1957), 284-305. Zbl0087.10902MR21 #1525
  18. [18] A. JONSSON, Imbedding of Lipschitz continuous functions in potential spaces, Department of Math., Univ. of Umea, 3 (1973). 
  19. [19] P.I. LIZORKIN, Characteristics of boundary values of functions of Lrp(En) on hyperplanes (Russian), Dokl. Akad. Nauk SSSR, 150 (1963), 986-989. Zbl0199.44401MR27 #2853
  20. [20] J. BERGH and J. LOFSTROM, Interpolation spaces, Berlin, Springer-Verlag, 1976. Zbl0344.46071MR58 #2349
  21. [21] S.M. NIKOL'SKII, Approximation of functions of several variables and imbedding theorems, Berlin, Springer-Verlag, 1975. Zbl0307.46024MR51 #11073
  22. [22] S.M. NIKOL'SKII, On imbedding, continuation and approximation theorems for differentiable functions of several variables (Russian), Usp. Mat. Nauk, 16, 5 (1961), 63-114 ; Russian Math. Surveys, 16, 5 (1961), 55-104. Zbl0117.29101MR26 #6757
  23. [23] S.M. NIKOL'SKII, On the solution of the polyharmonic equation by a variational method (Russian), Dokl. Akad. Nauk SSSR, 88 (1953), 409-411. Zbl0053.07403
  24. [24] J. PEETRE, On the trace of potentials, Ann. Scuola Norm. Sup. Pisa, 2,1 (1975), 33-43. Zbl0308.46031MR52 #8912
  25. [25] W. RUDIN, Real and complex analysis, sec. ed. New York, McGraw-Hill, 1974. Zbl0278.26001MR49 #8783
  26. [26] T. SJÖDIN, Bessel potentials and extension of continuous functions, Ark. Mat., 13,2 (1975), 263-271. Zbl0314.31005MR53 #843
  27. [27] E.M. STEIN, Singular integrals and differentiability properties of functions, Princeton, Princeton Univ. Press, 1970. Zbl0207.13501MR44 #7280
  28. [28] E.M. STEIN, The characterization of functions arising as potentials. II, Bull. Amer. Math. Soc., 68 (1962), 577-582. Zbl0127.32002MR26 #547
  29. [29] M.H. TAIBLESON, On the theory of Lipschitz spaces of distributions on Euclidean n-space, I, J. Math. Mech., 13 (1964), 407-480. Zbl0132.09402MR29 #462
  30. [30] H. WHITNEY, Analytic extensions of differentiable functions defined in closed sets, Trans. Amer. Math. Soc., 36 (1934), 63-89. Zbl0008.24902MR1501735JFM60.0217.01
  31. [31] H. WALLIN, Continuous functions and potential theory, Ark. Mat., 5 (1963), 55-84. Zbl0134.09404MR29 #2425

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.