Jump to content

User:Quietbritishjim/Sokhotsky's formula

From Wikipedia, the free encyclopedia

I started writing the following when I thought that there was no Wikipedia article on the subject. I later discovered that there already was, but I hadn't found it earlier because it was under the incorrect title of Sokhatsky–Weierstrass theorem. It is now correctly titled as Sokhotski–Plemelj theorem. Perhaps one day I'll move some of the material there.


In mathematics, Sokhotsky's formula (also known as the Plemelj formula, or Plemelj-Sokhotsky formula) relates two ways of integrating over the singularity of the reciprocal function on the real numbers. The formula says, in terms of distributions, that

The distribution on each side of this equality is the Fourier transform of the Heaviside step function.

Breakdown

[edit]

Throughout this section φ is an arbitrary function in the Schwartz space.

The formula involves three separate distributions:

which is often written more compactly as
  • The distribution defined as

Substituting in these definitions we obtain, explicitly in terms of integrals and limits, that

Proof

[edit]

This proof is from Choquet-Bruhat, DeWitt-Morette & Dillard-Bleick (1982). We show the top choice of signs; the other choice is similar.

Summary

[edit]

The proof is as follows, where limits and derivatives are in the distributional sense, and H is the Heaviside step function.

The explanation of each equality, and the choice of logarithm branch, is given in the following subsection.

Details

[edit]

Step 1 By definition of the limit of a distribution,

The right hand side of this is the definition of the distribution .

Step 2 We need to show that, in the distributional sense,

We take to be the branch of the natural logarithm such that, for and ,

This is a continuous, and so smooth, choice of logarithm for these values of x and ε. The above derivative therefore holds pointwise, and so also holds in the distributional sense.

Step 3 Swapping the distributional derivative and limit is permitted because the distributional derivative is continuous.

Step 4 We need to show that, in the distributional sense,

Pointwise we have

so the desired equation holds pointwise. Since is locally integrable, it also holds in the distributional sense.

Step 5 Note that the derivative of a constant is zero, and the derivative of the Heaviside step function is the Dirac delta function. It remains only to show that for any test function

The left hand side of this is

But

since φ is a Schwarz function and log is locally integrable. Thus the expression equals

Integrating by parts this equals

But

by the mean value theorem (where for each δ). Thus the expression equals

as required.

References

[edit]
  • Choquet-Bruhat, Yvonne; DeWitt-Morette, Cécile; Dillard-Bleick, Margaret (1982). Analysis, Manifolds and Physics. Part I: Basics (revised ed.). Amsterdam: Elsevier. p. 532. ISBN 0-7204-0494-0.