{'fraction_non_alphanumeric': 0.06799450549450549, 'fraction_numerical': 0.008241758241758242, 'mean_word_length': 4.561068702290076, 'pattern_counts': {'":': 0, '<': 1, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Sharp estimates of the k‐modulus of smoothness of Bessel potentials

Let X(ℝn) = X(ℝn, μn) be a rearrangement‐invariant Banach function space over the measure space (ℝn, μn), where μn stands for the n‐dimensional Lebesgue measure in ℝn. We derive a sharp estimate for the k‐modulus of smoothness of the convolution of a function f ∈ X(ℝn) 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)≺˜∫0tnsσ/n−1f*(s)ds     for all t∈(0,1) and every f∈X(ℝn) 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ω∂x1j(x)=(−1)j , with σ ∈ (0, n) and j ∈ ℕ, 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(ℝn) in a forthcoming paper, where, in limiting situations, we are able to obtain embeddings into Zygmund‐type spaces rather than Hölder‐type spaces. In particular, such results show that the Brézis–Wainger embedding of the Sobolev space Wk+1, n/k (ℝn), with k ∈ ℕ 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.