Bourbaki

Exercise 7, § 1

Functions of a Real Variable, II, 80

It is set in small type as supplementary.

Show that the function equal to sin⁡(1/x)\sin(1/x) for x≠0x \neq 0 and to 0 for x=0x = 0, admits a strict primitive on R\mathbf{R} (remark that x2sin⁡(1/x)x^2 \sin(1/x) admits a derivative at every point).

Deduce from this that if g(x,u,v)g(x, u, v) is a polynomial in u, vu,\ v, its coefficients being continuous functions of xx on an interval II containing 0, then the function equal to g(x,sin⁡1/x,cos⁡1/x)g(x, \sin 1/x, \cos 1/x) for x≠0x \neq 0, and to a suitable value α\alpha (to be determined) for x=0x = 0, admits a strict primitive on II; give an example where α≠g(0,0,0)\alpha \neq g(0, 0, 0).*

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.