Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Dirac writes down the following formula on page 61 of his "Principles of quantum mechanics": $\frac{d}{dx}\log x = \frac{1}{x} -i\pi\delta(x)$, see http://adsabs.harvard.edu/abs/1947pqm..book.....D for the exact reference (but no text). What is the best way of formalizing this to a mathematician's satisfaction?

share|improve this question
5  
I'm sure Dirac was thinking that ln(x)=ln|x|+i H(-x)π, where H(x) is the Heavside step function. –  Tom Copeland Apr 15 '13 at 10:27
1  
@Tom, in the text surrounding that formula, Dirac states precisely that (though less explicitly). –  Igor Khavkine Apr 15 '13 at 11:21
1  
More precisely, for negative $x$, $\log x = \log(-|x|)=\log(e^{\pi i}|x|)$ which Dirac seems to replace by $\log(e^{\pi i})+\log|x|=\pi i+\log |x|=\pi i H(-x)+\log |x|$. But not all mathematicians are satisfied by $H$ and especially not with $\frac{d}{dx}H$ :-) –  katz Apr 15 '13 at 11:59
4  
Your information seems to be out of date. We mathematicians have been satisfied with $H$ and its derivatives for over 60 years. Also, the last equation in your comment has a spurious absolute value sign. –  S. Carnahan Apr 15 '13 at 12:40
5  
I would write Dirac's formula as $\log(x+i0^+)= p.v.\frac{1}{x}−i\pi \delta(x)$, and this is now a perfectly rigorous equation in the space of distributions (using whatever branch of the logarithm one wishes which does not cut ${\bf R}+i0^+$), indeed it is just the Plemelj formula given in the answers below, written in distributional form. –  Terry Tao Apr 15 '13 at 21:50
show 16 more comments

3 Answers 3

In integral form, this amounts to the Sokhotski-Plemelj theorem:

$\lim_{\epsilon\rightarrow 0^{+}}\int_{-\infty}^{\infty}dx f(x) \frac{d}{dx}\log (x+i\epsilon)=-i\pi f(0)+{\cal P}\int_{-\infty}^{\infty}dx f(x)\frac{1}{x}$.

The symbol ${\cal P}$ indicates that the Cauchy principal value of the integral is to be taken. Formalization then amounts to stating the conditions on $f$ so that the principal value integral exists.

The logarithm for $x<0$ is defined as $\log x= \log(-x) + i\pi$. You can avoid the delta function by including the absolute value signs in the logarithm:

$\int_{-\infty}^{\infty}dx f(x) \frac{d}{dx}\log|x|={\cal P}\int_{-\infty}^{\infty}dx f(x)\frac{1}{x}$.

share|improve this answer
    
Thanks, but somehow that looks less elegant than Dirac's formula. –  katz Apr 15 '13 at 9:07
2  
less elegant, perhaps, but you do need to specify that the principal value is to be taken, otherwise the formula is not correct (or not complete). –  Carlo Beenakker Apr 15 '13 at 9:16
    
Thanks for the reference. I think it should be "Plemelj". One can specify a branch of log and still hope for a more direct formalisation with functions having local values. –  katz Apr 15 '13 at 12:54
    
typo corrected. –  Carlo Beenakker Apr 15 '13 at 13:21
2  
You may cirticize this as "less elegant" but others can criticize the original Dirac formula as "less rigorous". –  Gerald Edgar Apr 15 '13 at 20:47
add comment

Questions about distributions, usually involving the $\delta$ distribution ("function"), are of frequent occurrence on this and related sites. Since they are often treated in a rather cavalier fashion, I would like to attempt to answer this query in some detail. The basic problem lies in the interpretation of the functions $\frac 1 x$ and $\log x$ (notabene not $\log |x| $) as distributions. As a preliminary remark, it is not surprising that theoretical physicists are guided by their physical intuition and not by mathematical rigour in dealing with such questions and it is perfectly acceptable for mathematicians to proceed in the same way in formulating such conjectures. However, since this is a mathematical forum, one does have the right to expect that the final formulation of the solution conforms to the usual standards of mathematical rigour (as is implied in the OP). In fact it is rather disquieting that this is often not the case, since this task can be achieved by elementary methods which have been on record in the primary and secondary literature for at least 50 years.

For the example in question (and, indeed, for most of the examples in such forums), one need only be cognisant of the following simple facts about distributions.

$1$. Every continuous function on the reals, better, every locally integrable function, determines in a natural way a distribution.

$2$. There is a notion of convergence for distributions. For our purposes, it suffices to know that if a sequence of continuous functions converges uniformly on compacts, then it converges in the sense of distributions. In fact, local $L^1$ convergence suffices.

$3$. The dream theorem of every freshman calculus student holds---if a sequence of distributions converges, then the sequence obtained by differentiating term by term also converges.

We can now turn to the above query. Note that the problem lies in the fact that while the function $\log |x|$, being locally integrable, determines a distribution, the same is not true a priori for $\frac 1 x$ and $\log x $. In these two cases, we have to proceed in a more delicate manner.

Firstly, note that the function $\log |x|$ is locally integrable and so is a distribution. More importantly the same is true for its derivative in the distributional sense. It is then rather natural to define this derivative to be the distribution $\frac 1 x$.

The case of the distribution $\log x$ is rather more subtle. In this case we resort to the complex logarithm. y thus we define, for non-zero $\epsilon $, the distribution $\log(x+i\epsilon)$ to be $\log|x|+i \arctan \frac \epsilon x$ (i.e., we are using the principal branch of the complex logarithm). We now define the distribution $\log x $ to be the limit of this distribution as $\epsilon$ tends to zero. At this point, we see that we get different values, depending on whether we consider the limit $\epsilon \to 0_+$ or $\epsilon \to 0_-$. If we now differentiate this equation we obtain the required formula.

To conclude, a few remarks.

The above approach is due to the portuguese mathematician J. Sebastião e Silva who developed it in the context of his axiomatic approach to the theory of distributions.
Sadly, the definitive monograph on his approach that he was preparing 40 years ago was never completed, due to his premature passing.
However, the elementary part has been presented in the book "An introduction to the theory of distributions" by Campos Ferreira which is based on lectures at the University of Lisbon (ca. 1970) and this contains the material described here.

The above is a special case of the family of distributions $x^\lambda$ for general $\lambda$ (even complex) which is developed in detail in the above reference. They are also described in the standard four volume text of Gelfand and Silov.

The distribution $\frac 1 x$ is also treated by Laurent Schwartz who used the Hadamard principal value (the latter was his great uncle by marriage). The connection with the above approach can easily be established by considering the truncated function $\log_\epsilon$ (which is set equal to zero on the interval $]-\epsilon,\epsilon[$), letting $\epsilon$ tend to zero and differentiating.

The ambiguity in the definition of the distribution $\log x$ is no more disconcerting than that in the definition of the logarithm function for complex arguments. In a more sophisticated approach this distribution would not be defined on the real line but on the natural domain of definition of the latter, i.e., on the unversal covering of the punctured plane.

share|improve this answer
    
Really, weren't the results for the limiting case of the derivative of the log worked out fairly rigorously by Cauchy and Poisson in their work on potential theory long before 20'th century mathematicians put a formal dress on them? –  Tom Copeland Apr 15 '13 at 23:49
add comment

The question is not meaningful since $\ln x$ is not defined for $x\le 0$. You may define, with derivatives in the distribution sense $$ f(x)=\ln\vert x\vert\text{ (even)},\quad f'(x)=pv\frac1{x} \text{ (odd, homogeneous degree -1)} $$ $$ g(x)=\ln(x+i0)=\lim_{\epsilon\rightarrow 0_+}\ln(x+i\epsilon),\quad g'(x)=\frac{1}{x+i0}= pv\frac1{x}-i\pi \delta, \text{(homogeneous degree -1)} $$ where the latter formula follows from $$ \ln(z)=\oint_{[1,z]}\frac{d\xi}{\xi},\quad z\in \mathbb C\backslash \mathbb R_-. $$ By analytic continuation we have (for $z\in \mathbb C\backslash \mathbb R_-$) $e^{\ln z}=z$ and with $H=\mathbf 1_{\mathbb R_+}$ $$ \ln(x+i0)=\ln\vert x\vert +i\pi H(-x)\Longrightarrow g'(x)=\frac{1}{x+i0}= pv\frac1{x}-i\pi \delta. $$ Taking the complex conjugate of $g$ gives you the definition of $\frac{1}{x-i0}$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.