Proving the Distributional Sense of x*Pv(1/x) = 1: An Analysis

[Tsunami]

Homework Statement

Show that, in a distributional sense,

x* Pv(1/x) = 1

Homework Equations

The function 1/x cannot be integrated locally in the origin. Nevertheless,

int(1/x, x=-1..1) =0, and thus convergent.

Therefore, one defines the (non-regular) distribution Pv(1/x), as follows:

<Pv(1/x), phi(x)> = Pv*int(phi(x)/x, x=-infinity..infinity)

which is defined to be equal to:

limit( eps->0) ( int( phi(x)/x,x=-infinity..-eps) + int( phi(x)/x, x=eps..infinity) )

The Attempt at a Solution

My problem is that I don't really understand how I can write x*Pv(1/x) as a distribution. My attempt at a solution is as follows::


<x*Pv(1/x), phi(x)> = limit(eps->0) (int( phi(x)/x*x,x=-infinity..-eps) = int( phi(x)/x*x, x=eps..infinity)


If this step is allowed, then of course, this integration is equal to :

int(phi(x),x=-infinity..infinity) = 1 , because this is a distribution. But surely, it can't be as simple as that!

 

[Jezuz]

What you need to show is that the distribution
x \mathcal{P} \frac{1}{x}
is the unity distribution. That is, you can multiply this distribution with another distribution without changing it. Alternatively you can show that the effect of using this distribution on a test function \psi is the same as using the distribuition 1 on a test function.

Since \left&lt; 1, \psi \right&gt; = \int_{-\infty}^{\infty} dx \psi(x)
and this is exactly what you have shown.

I think your last sentence is a little off though. Your "phi" is not a distribution, but a test function.

Remember that distributions are defined by the effect they have on test functions. So they take test functions (from some pre-defined function space) and produces a number.

 

[StatusX]

There is not a general way of multiplying distributions. The only reason you can do it here is because x is not only a distribution, but is also a function. So what you need to do is apply P(1/x) to the function x\phi(x).

 

[Tsunami]

Hey Status,

of course! That's great, I didn't realize you were allowed to treat simple functions as distributions/test functions interchangably. That is, I'd seen the property, but not what it was useful for.

Jezuz,

indeed, when aforementioned trick is allowed, it comes down to something as simple as that.