Bourbaki

Exercise 15, § 3

Tag 0320, permanent. Cite it as [Bourbaki, Tag 0320].

Spectral Theories, IV, p. 334

Let n⩾1n\geqslant 1 be an integer and pp a real number such that 1⩽p<n1\leqslant p < n. a) Let α\alpha be a real number such that 0<α<n/p−10< \alpha < n/p-1. Let gg be a function on R+∗\mathbf{R}_+^*, indefinitely differentiable, positive, such that g(x)=x−αg(x) =x^{-\alpha} for xx sufficiently small and g(x)=0g(x) = 0 for xx sufficiently large; the function from Rn\mathbf{R}^n into C\mathbf{C} such that x↦g(∥x∥)x\mapsto g(\|x\|) belongs to W1,p(Rn)W^{1,p}(\mathbf{R}^n).

b) Let i↦qii\mapsto q_i be a bijection of N\mathbf{N} onto Qn\mathbf{Q}^n and let ff be the mapping from Rn\mathbf{R}^n into C\mathbf{C} defined by

f(x)=∑i∈N2−ig(∥x−qi∥) f(x) =\sum_{i\in\mathbf{N}}2^{-i}g(\|x-q_i\|)

for x∈Rnx\in \mathbf{R}^n. The series defining ff converges in W1,p(Rn)W^{1,p}(\mathbf{R}^n); for every open set U of Rn\mathbf{R}^n, the restriction of ff to U is not differentiable almost everywhere. c) There exists a function f∈W1,n(Rn)f\in W^{1,n}(\mathbf{R}^n) which is continuous at no point. (Similar method with the function x↦x\mapsto log(∣|log(∣x∣|x|)∣|)..)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.