Resumen de Sharp estimates of the k-modulus of smoothness of Bessel potentials

Amiran Gogatishvili , Júlio S. Neves, Bohumír Opic

• Let X(Rn) = X(Rn, ¥ìn) be a rearrangement-invariant Banach function space over the measure space (Rn, ¥ìn), where ¥ìn stands for the n-dimensional Lebesgue measure in Rn. We derive a sharp estimate for the k-modulus of smoothness of the convolution of a function f ¡ô X(Rn) with the Bessel potential kernel g¥ò, where ¥ò ¡ô (0, n). Such an estimate states that if g¥ò belongs to the associate space of X, then ¥øk(f . g¥ò, t)   tn 0 s¥ò/n.1f .

  (s) ds for all t ¡ô (0, 1) and every f ¡ô X(Rn) provided that k  [¥ò] + 1 (f .

  denotes the non-increasing rearrangement of f). One of the key steps in the proof of the sharpness of this estimate is the assertion that sgn ¡Ójg¥ò ¡Óxj 1 (x) = (.1)j , with ¥ò ¡ô (0, n) and j ¡ô N, for all x in a small circular half-cone which has its vertex at the origin and its axis coincides with the positive part of the x1-axis. The above estimate is very important in applications. For example, it enables us to derive optimal continuous embeddings of Bessel potential spaces H¥òX(Rn) in a forthcoming paper, where, in limiting situations, we are able to obtain embeddings into Zygmund-type spaces rather than H¡§older-type spaces. In particular, such results show that the Br¢¥ezis.Wainger embedding of the Sobolev space Wk+1,n/k(Rn), with k ¡ô N and k < n. 1, into the space of ¡®almost¡¯ Lipschitz functions, is a consequence of a better embedding which has as its target a Zygmund-type space.