3
$\begingroup$

I cannot get this identity by using the condition:

$\frac{1}{x^{2}}=-\partial(\frac{1}{x})$, and the integrands are defined by continuity at $x=0$.

My reasoning goes as $$\langle -\partial\frac{1}{x},\phi\rangle=\langle \frac{1}{x},\partial \phi\rangle=\int^{\infty}_{-\infty}\frac{1}{x^{2}}\phi dx$$ and we can break it into $$\lim_{\epsilon\rightarrow 0}\int^{\infty}_{\epsilon}\frac{1}{x^{2}}\phi dx+\int^{-\epsilon}_{-\infty}\frac{1}{x^{2}}\phi dx+\int^{\epsilon}_{-\epsilon}\frac{1}{x^{2}}\phi dx$$ The first and second term adds up to $$\int^{\infty}_{\epsilon} \frac{\phi(x)+\phi(-x)}{x^{2}}dx$$ while the third term $$\int^{\epsilon}_{-\epsilon}\frac{1}{x^{2}}\phi(x) dx=\int^{\epsilon}_{0}\frac{\phi(x)+\phi(-x)}{x^{2}}$$ approximates $$2\int^{\epsilon}_{0}\frac{\phi(0)}{x^{2}}$$

But this last step is not really justified; and even if it works the result looks remarkably different from the one I wanted. So I decided to ask.

  • 0
    You should use the principal value of the integral instead of using the definition of the integral.2012-06-14
  • 0
    I think there's some conditions missing in this question. Is $\phi(x)$ a continuous function or something like that? I think this identity is wrong. Consider $\phi(x)=1$ when $x\in [-1,1]$ and $\phi(x)=0$ on the rest of $\mathbb{R}$. Then the right side is 0 and the left side goes to infinity.2012-06-14
  • 0
    $\phi\in C^{\infty}_{c}$ as for distributions.2012-06-14
  • 0
    Your $\phi(x)$ is not smooth, though.2012-06-14
  • 0
    You are right, but we can do some smoothing at x=1 and x=-1, the right side will still be finite and the left side still goes to infinity.2012-06-14
  • 0
    The left hand side does not go to infinity because $\langle \frac{1}{x^{2}},\phi\rangle=-\langle \frac{1}{x},\partial \phi\rangle$. The integral of $\int \frac{1}{x}\partial\phi$ should be finite by your definition.2012-06-14
  • 0
    Actually I'm saying $\int^{\infty}_{-\infty}\frac{1}{x^{2}}\phi dx$ goes to infinity. On $[-\epsilon, \epsilon]$, $\int^{\infty}_{-\infty}\frac{1}{x^{2}}\phi dx\geq \int^{\epsilon}_{-\epsilon}\frac{1}{x^{2}}\phi dx\geq \frac{2}{\epsilon}$. Let $\epsilon$ goes to 0, then this goes to infinity.2012-06-14
  • 0
    The author was using the principal value: $\langle \frac{1}{x},\phi\rangle=\lim_{\epsilon\rightarrow 0}\int^{\infty}_{\epsilon}\frac{\phi}{x}dx+\int^{-\epsilon}_{-\infty}\frac{\phi}{x}dx$2012-06-14
  • 0
    @caozhu: I've moved your answer and the comments on it to the comment thread on the question. Because you did not yet have 50 reputation points, [you could only comment on your own questions and answers](http://meta.stackexchange.com/questions/19756/how-do-comments-work/19757#19757). Now that you have $\geq$ 50 points, you will be able to continue the conversation on the comment thread here.2012-06-14

1 Answers 1

6

Let $\phi$ be a smooth test function. Since $\big\langle \frac{1}{x^2}, \phi \big\rangle = \big\langle -\partial \left( \frac{1}{x} \right), \phi \big\rangle = \big\langle \frac{1}{x}, \partial \phi \big\rangle$, it suffices to show that

$$ \left< \frac{1}{x}, \partial \phi \right> = PV \int_{-\infty}^{\infty} \frac{\partial \phi (x)}{x} \; dx = \int_{0}^{\infty} \frac{\phi(x) + \phi(-x) - 2\phi(0)}{x^2} \; dx.$$

But this follows from

$$ \begin{align*} PV \int_{-\infty}^{\infty} \frac{\partial \phi (x)}{x} \; dx &= \lim_{\epsilon\downarrow 0} \left( \int_{-\infty}^{-\epsilon} \frac{\partial \phi (x)}{x} \; dx + \int_{\epsilon}^{\infty} \frac{\partial \phi (x)}{x} \; dx \right) \\ &= \lim_{\epsilon\downarrow 0} \int_{\epsilon}^{\infty} \frac{\partial \phi (x) - \partial \phi(-x)}{x} \; dx \\ &= \lim_{\epsilon\downarrow 0} \left( \left. \frac{\phi (x) + \phi(-x)}{x} \right|_{\epsilon}^{\infty} + \int_{\epsilon}^{\infty} \frac{\phi (x) + \phi(-x)}{x^2} \; dx \right) \\ &= \lim_{\epsilon\downarrow 0} \left( - \frac{\phi (\epsilon) + \phi(-\epsilon)}{\epsilon} + \int_{\epsilon}^{\infty} \frac{\phi (x) + \phi(-x)}{x^2} \; dx \right) \\ &= \lim_{\epsilon\downarrow 0} \left( \frac{2\phi(0) - \phi (\epsilon) - \phi(-\epsilon)}{\epsilon} + \int_{\epsilon}^{\infty} \frac{\phi (x) + \phi(-x) - 2\phi(0)}{x^2} \; dx \right) \\ &= \int_{0}^{\infty} \frac{\phi (x) + \phi(-x) - 2\phi(0)}{x^2} \; dx, \end{align*}$$

where we have used the fact that

$$ \lim_{\epsilon\downarrow 0} \frac{\phi (\epsilon) + \phi(-\epsilon) - 2\phi(0)}{\epsilon} = 0.$$

  • 0
    This is correct.2012-06-14
  • 0
    Is there good generalization of this to higher rank derivatives of $\frac{1}{x}$?2012-06-14
  • 1
    @ChangweiZhou, I have not thought of that. I guess, though, that this is closely related to derivatives of the Dirac delta function, thus there seems no reason to stop at degree 2.2012-06-14
  • 0
    I was not aware of that. Could you elaborate on the connection of this with the delta function? I am working details out for $x^{-3}$. Thank you.2012-06-14
  • 0
    I tried calculations similar to the case $x^{-2}$, but not so successful as our example.2012-06-14
  • 0
    I see. I did as well, but did not generate any significant result. This problem is from F. G. Friedlander's book introduction to distribution theory.2012-06-14
  • 0
    Good solution! Thank you.2012-06-15