LpLp-Taylor approximations characterize the Sobolev space W1,pW1,p

In this note, we introduce a variant of Calderón and Zygmund's notion of LpLp-differentiability – an LpLp-Taylor approximation  . Our first result is that functions in the Sobolev space W1,p(RN)W1,p(RN) possess a first-order LpLp-Taylor approximation. This is in analogy with Calderón and Zygmund's result concerning the LpLp-differentiability of Sobolev functions. In fact, the main result we announce here is that the first-order LpLp-Taylor approximation characterizes the Sobolev space W1,p(RN)W1,p(RN), and therefore implies LpLp-differentiability. Our approach establishes connections between some characterizations of Sobolev spaces due to Swanson using Calderón–Zygmund classes with others due to Bourgain, Brézis, and Mironescu using nonlocal functionals with still others of the author and Mengesha using nonlocal gradients. That any two characterizations of Sobolev spaces are related is not surprising; however, one consequence of our analysis is a simple condition for determining whether a function of bounded variation is in a Sobolev space.

RésuméDans cette note, nous introduisons une variante de la notion de Calderón et Zygmund de différentiabilité LpLp – un développement de Taylor-  LpLp. Notre premier résultat est que les fonctions de l'espace de Sobolev W1,p(RN)W1,p(RN) possèdent un développement de Taylor-LpLp au premier ordre. C'est un analogue du résultat de Calderón et Zygmund concernant la différentiabilité LpLp des fonctions de Sobolev. En fait, le résultat principal que nous annonçons ici est que le développement de Taylor-LpLp au premier ordre caractérise l'espace de Sobolev W1,p(RN)W1,p(RN), et donc implique la différentibilité LpLp. Notre approche établit des liens entre les caractérisations des espaces de Sobolev dues à Swanson, qui utilisent les classes de Calderón–Zygmund, celles dues à Bourgain, Brézis et Mironescu, qui utilisent des fonctionnelles non locales, et celles dues à l'auteur et à Mengesha, qui utilisent des gradients non locaux. Que les différentes caractérisations des espaces de Sobolev soient reliées n'est pas surprenant ; cependant, notre analyse donne une condition simple pour déterminer si une fonction à variation bornée est dans un espace de Sobolev.