Simple integral, example or general solution correct?

[ExtravagantDreams]

This should be very simple, but I can find a simple example that violates my general conclusion. I clearly must be doing something wrong with my integration by parts. Any suggestions would be great.

Define a distribution such that the density;
\eta(\vec{x})=\int d\vec{k} f(\vec{x},\vec{k})
which is a function ONLY of x.

Now, let me arbitrarily calculate
\int d\vec{k} k_{x} f(\vec{x},\vec{k}) = \int dk_{x} k_{x} \int dk_{y} \int dk_{z} f(\vec{x},\vec{k})

I should be able to integrate over kx by parts;
k_{x} \int dk_{x} \int dk_{y} \int dk_{z} f(\vec{x},\vec{k}) - \int dk_{x} \frac{d k_{x}}{d k_{x}} \int dk_{x} \int dk_{y} \int dk_{z} f(\vec{x},\vec{k}) = k_{x} \int d\vec{k} f(\vec{x},\vec{k}) - \int dk_{x} \int d\vec{k} f(\vec{x},\vec{k})

Using the stipulation at the beginning this is simply;
k_{x} \eta(\vec{x}) - \int dk_{x} \eta(\vec{x})

Since, the density, eta, is only a function of x, this is zero.

There must be something wrong with this because I can come up with a simple example that contradicts this;

Let
f(\vec{x},\vec{k})=\eta(\vec{x})\delta (\vec{k}-\vec{k'})
It is easy to see that
\eta(\vec{x})=\int d\vec{k} f(\vec{x},\vec{k})

Now calculating the original quantity
\int d\vec{k} k_{x} f(\vec{x},\vec{k}) = \int dk_{x} k_{x} \eta(\vec{x})\delta (k_{x}-k'_{x}) = \eta(\vec{x}) k'_{x}

What gives? Where have I gone wrong?

 

[torquil]

Your integration by parts looks incorrect. The surface term should not contain an integral over k_x, since that is the integration variable for which you are doing the integration by parts. Also, you should get something involving the derivative of f with respect to k_x, in the next term, and there should not be two integrals over k_x there.

Sometimes it is also good to write out the limits of the integration domains.

Torquil

 

[ExtravagantDreams]

Well, I'm taking u as k_x and v' as f in the standard notation
\int u v' = u v| - \int u' v
therefore I will not have a derivative of f.

Not sure what you mean by surface term. I do realize this is an integral over three variables and I should use the divergence theorem in general. But since u is a function of one variable only, it should be seperable. The k space over which the integral exsists also shouldn't matter, but I will check again.

 

[Mute]

You integration by parts is incorrect. To clear things up, let g(\mathbf{k}) = \int dk'_x~f(k_x',k_y,k_z), where the k_x integral is done from some intial value (say -infinity) to an arbitrary k_x, so that the result is still a function of \mathbf{k}. Now, let's do the integral by parts, supposing that the k integrals run from 0 to infinity.

\int dk_x k_x \int dk_y \int dk_z~f(\mathbf{k}) = \left. k_x \int dk_y \int dk_z g(\mathbf{k}) \right|^{k_x = \infty}_{k_x = -\infty} - \int dk_x \int dk_y \int dk_z~g(\mathbf{k}).

Assuming the surface term (the first term on the right hand side) is zero at +/- infinity, this gives

\int dk_x k_x \int dk_y \int dk_z~f(\mathbf{k}) = - \int dk_x \int dk_y \int dk_z~g(\mathbf{k}).

 

[ExtravagantDreams]

Yes of course. v is the indefinate integral of v' and not over the boundary of the initial region. I should have realize this before. Thanks!

Then, is there anything to be done without knowing the exact form of f(k,x)?