Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

Starting with the Klein Gordon in position space, \begin{align*} \left(\frac{\partial^2}{\partial t^2} - \nabla^2+m^2\right)\phi(\mathbf{x},t) = 0 \end{align*} And using the Fourier Transform: $\displaystyle\phi(\mathbf{x},t) = \int \frac{d^3p}{(2\pi)^3}e^{i \mathbf{p} \cdot\mathbf{x}}\phi(\mathbf{p},t)$: \begin{align*} \int \frac{d^3p}{(2\pi)^3}\left(\frac{\partial^2}{\partial t^2} - \nabla^2+m^2\right)e^{i \mathbf{p} \cdot\mathbf{x}}\phi(\mathbf{p},t)&=0 \\ \int \frac{d^3p}{(2\pi)^3}e^{i \mathbf{p} \cdot\mathbf{x}}\left(\frac{\partial^2}{\partial t^2} +|\mathbf{p}|^2+m^2\right)\phi(\mathbf{p},t)&=0 \end{align*} Now I don't understand why we are able to get rid of the integral, to be left with \begin{align*} \left(\frac{\partial^2}{\partial t^2} +|\mathbf{p}|^2+m^2\right)\phi(\mathbf{p},t)=0 \end{align*}

share|improve this question
3  
4 good answers in 4 minutes! You hit the jackpot... –  JeffDror Feb 25 at 12:58
1  
And, strangely, none of the answerers bothered to upvote the question. –  Kyle Kanos Feb 25 at 14:00
add comment

3 Answers

up vote 7 down vote accepted

The functions $e^{i \bf p \cdot \bf x}$ as functions of $\bf x$ are linearly independent for different $\bf p$'s, hence every coefficient in the linear superposition (that is, in the integral) must be zero.

share|improve this answer
add comment

The reason you can get rid of the integral and the exponential is due to the uniqueness of the Fourier transform. Explicitly we have,

\begin{align} \int \frac{ \,d^3p }{ (2\pi)^3 } e ^{ i {\mathbf{p}} \cdot {\mathbf{x}} } \left( \partial _t ^2 + {\mathbf{p}} ^2 + m ^2 \right) \phi ( {\mathbf{p}} , t ) & = 0 \\ \int d ^3 x \frac{ \,d^3p }{ (2\pi)^3 } e ^{ i ( {\mathbf{p}} - {\mathbf{p}} ' ) \cdot {\mathbf{x}} } \left( \partial _t ^2 + {\mathbf{p}} ^2 + m ^2 \right) \phi ( {\mathbf{p}} , t ) & = 0 \\ \left( \partial _t ^2 + {\mathbf{p}} ^{ \prime 2} + m ^2 \right) \phi ( {\mathbf{p}'} , t ) & = 0 \end{align} where we have used,

\begin{equation} \int d ^3 x e ^{- i ( {\mathbf{p}} - {\mathbf{p}} ' ) \cdot x } = \delta ( {\mathbf{p}} - {\mathbf{p}} ' ) \end{equation} and \begin{equation} \int \frac{ d ^3 p }{ (2\pi)^3 } \delta ( {\mathbf{p}} - {\mathbf{p}} ' ) f ( {\mathbf{p}} ) = f ( {\mathbf{p}} ' ) \end{equation}

share|improve this answer
add comment

The idea is that the equivalence must hold for $\textit{all}$ values of $\vec{x}$. Another way to note it, you can see $\left(\frac{\partial^2}{\partial t^2} +|\mathbf{p}|^2+m^2\right)\phi(\mathbf{p},t)=0$ as the Fourier transform of your function. And which is your function? 0, and which is 0-s Fourier transform, well zero.

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.