Moving a function under an integral

  • Thread starter Thread starter NanakiXIII
  • Start date Start date
  • Tags Tags
    Function Integral
Click For Summary
The discussion centers on the validity of moving an exponential factor under an integral in a specific integral involving functions of k. The original poster attempts to relabel variables and simplify the integral, leading to a delta-function representation. However, confusion arises regarding the use of the same variable k both outside and inside the integral, prompting questions about mathematical rigor. After clarification, it is acknowledged that the initial misunderstanding stemmed from a lack of attention to the integration limits and dummy variable conventions. Ultimately, the poster is reassured that their approach is correct, with no errors found in the rest of the reasoning.
NanakiXIII
Messages
391
Reaction score
0
I've got an integral of the form

<br /> \int d^3x e^{-i \vec{k} \cdot \vec{x}} \int d^3k e^{i \vec{k} \cdot \vec{x}} f(\vec{k})<br />

and I'm wondering whether or not the following is a valid approach. I want to move the factor

<br /> e^{-i \vec{k} \cdot \vec{x}}<br />

under the k-integral, so I relabel my k so that I end up with

<br /> \int d^3x \int d^3k e^{i (\vec{k}-\vec{k}&#039;) \cdot \vec{x}} f(\vec{k}).<br />

One now just needs to remember that the primed k is actually the same as the old k, but we don't want to integrate over it. Now the x-integral turns the exponential factor into a delta-function, so that we get (apart from some factors of 2\pi)

<br /> \int d^3k \delta(\vec{k}-\vec{k}&#039;) f(\vec{k}),<br />

which just yields

<br /> f(\vec{k}&#039;) = f(\vec{k}).<br />

Now, maybe it's just me, but what I just did sounds too easy to be true, but I'm not sure what might be flawed about my reasoning. Can anyone tell me whether there is anything wrong with it?
 
Physics news on Phys.org
Hi NanakiXIII! :smile:
NanakiXIII said:
One now just needs to remember that the primed k is actually the same as the old k, but we don't want to integrate over it. Now the x-integral turns the exponential factor into a delta-function, so that we get (apart from some factors of 2π)

Your very first line didn't make sense …

how you could you possibly start with the same k both outside and inside an integral? :confused:

(where does this come from?)
 
tiny-tim said:
Hi NanakiXIII! :smile:


Your very first line didn't make sense …

how you could you possibly start with the same k both outside and inside an integral? :confused:

(where does this come from?)

I'm not sure what you mean. Why couldn't there be a function of the same variable k outside the integral, as well as a function of k inside? Perhaps I didn't write it down clearly. My expression is

<br /> \int d^3x \left( e^{-i \vec{k} \cdot \vec{x}} \int d^3k \left( e^{i \vec{k} \cdot \vec{x}} f(\vec{k}) \right) \right)<br />

This integral arose in a QFT problem I was doing. Basically there's a Fourier expansion for a function (the integral over k) and I'm transforming that back (but with a slightly different transformation).
 
perhaps I should have been more specific …

how you could you possibly start with the same k both outside an integral and as the dummy variable of integration inside it? :wink:
 
tiny-tim said:
perhaps I should have been more specific …

how you could you possibly start with the same k both outside an integral and as the dummy variable of integration inside it? :wink:

I still don't understand. Perhaps you're tripping over some mathematical sloppiness I'm not aware of.
 
I don't understand what makes you think that they were the same k in the first place …
NanakiXIII said:
One now just needs to remember that the primed k is actually the same as the old k, but we don't want to integrate over it. Now the x-integral turns the exponential factor into a delta-function, so that we get (apart from some factors of 2π)
 
tiny-tim said:
I don't understand what makes you think that they were the same k in the first place …

Oh. I see what you mean now. I had forgotten what I was integrating over (i.e. that it's not an indefinite integral). I see why you reacted so confused. Thanks for helping me see that. It was just a sloppiness, but one I forgot to keep track of.

This makes things even easier. At least now I'm convinced it's also correct. You didn't see any error in the rest, right?
 
No, seems fine! :smile:
 
Thanks for the help!
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K