- #1
Hepth
Gold Member
- 464
- 40
Such propagators as found in HQET [itex]\frac{i}{2 v \cdot k}[/itex] come about from expanding the full propagator. I'm wondering what the method is to properly Taylor expand denominators that contain 4-dimensional dot products.
Lets start with something like :
[tex]
\frac{1}{2 v \cdot k + k^2}
[/tex]
If we treat the dot products as regular 1-D multiplications this expands to:
[tex]
\frac{1}{2 k v}- \frac{1}{4 v^2} + \frac{k}{8 v^3} + ...
[/tex]
We can naively just say k^2 is small and drop it but I'm looking for something more general.
If we split it:
[tex]
\frac{1}{g_{\mu \nu}} \frac{1}{2 v^{\mu} k^{\nu} + k^{\mu} k^{\nu}}
[/tex]
And expand first in [itex]k^{\nu}[/itex] we have
[tex]
\frac{1}{g_{\mu \nu}} \frac{1}{k^{\nu}} \frac{1}{2 v^{\mu} + k^{\mu}}
[/tex]
Which is fine. Now, to expand the last term [itex]\frac{1}{2 v^{\mu} + k^{\mu}}[/itex] we can't introduce any new indices as this is already contracted. How can i rigorously expand this without introducing new indices, to any order.
The generic algebraic expansion is:
[tex]
\frac{1}{2 v}-\frac{k}{4 v^2}+\frac{k^2}{8 v^3}+...
[/tex]
Now is there a reason I can directly ASSUME that vectors with odd powers will carry the index so this becomes:
[tex]
\frac{1}{2 v^{\mu}}-\frac{k^{\mu}}{4 v^2}+\frac{k^2}{8 v^2 v^{\mu}}+...
[/tex]
This is the step that confuses me. We now have a [itex]k^{\mu}[/itex] in the numerator of the second term in the expansion, but since these indices are already contracted this is actually
[tex]
\frac{1}{g_{\mu \nu} k^{\mu}} \frac{k^{\nu}}{4 v^2}
[/tex]
Which I'm having a hard time understanding. If I Just assume I can work with the nu as an arbitrary index then I can either multiply by [itex]\frac{k^{\nu}}{k^{\nu}} or \frac{v^{\nu}}{v^{\nu}}[/itex] to change the location of the index and continue on my way. I just felt like this wasn't a very competent way of doing things, as if its true I can let it be a free index to play with then operations like
[tex]
\frac{1}{v \cdot k} = \frac{1}{v_{\mu} k^{\mu}} = \frac{1}{v_{\mu}} \frac{k_{\mu}}{k^2} = \frac{1}{v_{\mu}} \frac{k \cdot v}{k^2 v^{\mu}} = \frac{v \cdot k}{v^2 k^2} = \frac{v \cdot k}{(v \cdot k)^2}
[/tex]
which is VERY wrong. So how can I perform this expansion if I'm not free to use the index. OR is my first assumption about the odd indices being the ones carrying the index wrong.
Should it rather be that
[tex]
\frac{k}{4 v^2} \rightarrow \frac{k^2}{ 4 v v k} \rightarrow \frac{k^2}{4 (v \cdot k) v^{\nu}}
[/tex]
What is the proper method?
Lets start with something like :
[tex]
\frac{1}{2 v \cdot k + k^2}
[/tex]
If we treat the dot products as regular 1-D multiplications this expands to:
[tex]
\frac{1}{2 k v}- \frac{1}{4 v^2} + \frac{k}{8 v^3} + ...
[/tex]
We can naively just say k^2 is small and drop it but I'm looking for something more general.
If we split it:
[tex]
\frac{1}{g_{\mu \nu}} \frac{1}{2 v^{\mu} k^{\nu} + k^{\mu} k^{\nu}}
[/tex]
And expand first in [itex]k^{\nu}[/itex] we have
[tex]
\frac{1}{g_{\mu \nu}} \frac{1}{k^{\nu}} \frac{1}{2 v^{\mu} + k^{\mu}}
[/tex]
Which is fine. Now, to expand the last term [itex]\frac{1}{2 v^{\mu} + k^{\mu}}[/itex] we can't introduce any new indices as this is already contracted. How can i rigorously expand this without introducing new indices, to any order.
The generic algebraic expansion is:
[tex]
\frac{1}{2 v}-\frac{k}{4 v^2}+\frac{k^2}{8 v^3}+...
[/tex]
Now is there a reason I can directly ASSUME that vectors with odd powers will carry the index so this becomes:
[tex]
\frac{1}{2 v^{\mu}}-\frac{k^{\mu}}{4 v^2}+\frac{k^2}{8 v^2 v^{\mu}}+...
[/tex]
This is the step that confuses me. We now have a [itex]k^{\mu}[/itex] in the numerator of the second term in the expansion, but since these indices are already contracted this is actually
[tex]
\frac{1}{g_{\mu \nu} k^{\mu}} \frac{k^{\nu}}{4 v^2}
[/tex]
Which I'm having a hard time understanding. If I Just assume I can work with the nu as an arbitrary index then I can either multiply by [itex]\frac{k^{\nu}}{k^{\nu}} or \frac{v^{\nu}}{v^{\nu}}[/itex] to change the location of the index and continue on my way. I just felt like this wasn't a very competent way of doing things, as if its true I can let it be a free index to play with then operations like
[tex]
\frac{1}{v \cdot k} = \frac{1}{v_{\mu} k^{\mu}} = \frac{1}{v_{\mu}} \frac{k_{\mu}}{k^2} = \frac{1}{v_{\mu}} \frac{k \cdot v}{k^2 v^{\mu}} = \frac{v \cdot k}{v^2 k^2} = \frac{v \cdot k}{(v \cdot k)^2}
[/tex]
which is VERY wrong. So how can I perform this expansion if I'm not free to use the index. OR is my first assumption about the odd indices being the ones carrying the index wrong.
Should it rather be that
[tex]
\frac{k}{4 v^2} \rightarrow \frac{k^2}{ 4 v v k} \rightarrow \frac{k^2}{4 (v \cdot k) v^{\nu}}
[/tex]
What is the proper method?