Bourbaki

Exercise 21, § 3

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

Spectral Theories, IV, p. 337

a) Let f∈S(R)f\in \mathscr{S}(\mathbf{R}). The function gg on R\mathbf{R} such that g(0)=2f′(0)g(0) = 2f'(0) and g(x)=g(x) = (f(x)−f(−x))/x(f(x)-f(-x))/x for every x≠0x\not = 0 is integrable on R\mathbf{R} with respect to Lebesgue measure. The mapping which associates to ff the integral of gg over R\mathbf{R} is a tempered distribution, denoted vp, and called the Cauchy principal value of 1/x1/x.

b) For every f∈S(R)f\in \mathscr{S}(\mathbf{R}), one has

⟨\langlevp,f⟩=, f\rangle = limε→0∫R−[−ε,ε]f(x)xdx_{\varepsilon\rightarrow 0}\int_{\mathbf{R}-[-\varepsilon ,\varepsilon]}\frac{f(x)}{x}dx.

c) The restriction of vp to R−{0}\mathbf{R}-\{0\} is the distribution associated with the locally integrable function x↦1/xx\mapsto 1/x on R−{0}\mathbf{R}-\{0\}.

d) The distribution vp coincides with the derivative of the distribution associated with the locally integrable function on R\mathbf{R} taking value 0 at 0 and defined for x≠0x\not = 0 by x↦x\mapsto log(∣x∣|x|).

e) Let ε>0\varepsilon >0. Denote by pεp_{\varepsilon} the function x↦1/(x+iε)x\mapsto 1/(x+i\varepsilon ) on R\mathbf{R}. One has

limε→0pε=_{\varepsilon\rightarrow 0}p_{\varepsilon}= vp −iπε0-i\pi \varepsilon_0

in the space S′(R)\mathscr{S}'(\mathbf{R}) endowed with the weak topology, where ε0\varepsilon_0 is the tempered distribution associated with the point mass at 0.

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.