What is the method for expanding the partition function Z_{\pi}?

Click For Summary
The discussion centers on the method for expanding the partition function Z_{\pi}, specifically referencing an expansion found in a linked text. The initial step involves converting a sum into an integral, followed by integrating angular components and applying series expansions for small terms. The conversation progresses through the derivation of terms up to second order, with specific attention to handling logarithmic and exponential functions. Participants express challenges in evaluating higher-order terms, particularly beyond the second order, indicating difficulties with diverging integrals and the need for further exploration of the expansion process. The discussion concludes with a request for clarification on obtaining second-order terms, highlighting the complexity of the calculations involved.
parton
Messages
79
Reaction score
1
Hello!

I've got a problem. If you scroll down to page 118 on the following link

http://books.google.com/books?id=nt...X&oi=book_result&resnum=4&ct=result#PPA118,M1

there you will find an expansion (eq. 10.27) of the partition function Z_{\pi}, but I don't know how this expansion is explicity being done. Could anyone help me, please?

As described on page 116 I think the sum was replaced by an integral (\Omega denotes the volume). But I still don't know how to get rid of the logarithm and the exponential function.
 
Mathematics news on Phys.org
Ho-kay... I see how this is done. It's going to involve layers upon layers of small terms expansions, so I'm not going to derive the whole series shown because I don't want to keep track of that many terms or do that many integrals. So, here goes:

The first thing to do is, as you guess, convert the sum into an integral:

\ln Z_\pi = -\nu \sum_{\mathbf{k}} \ln\left(1 - e^{-\beta \varepsilon_k}\right) \rightarrow -\frac{\nu \Omega}{(2\pi)^3}\int_0^{2\pi} d\phi \int_{-1}^{1}d (\cos\theta) \int_0^{\infty} dk~k^2 \ln\left(1 - e^{-\beta \varepsilon(k)}\right)

Now, do the angular integrals since the energy depends only on the magnitude, and integrate the magnitude integral by parts:

-\frac{4\pi\nu\Omega}{(2\pi)^3}\left\{ \left.\frac{k^3}{3}\ln\left(1-e^{-\beta\sqrt{k^2+m_\pi^2}}\right)\right|^{\infty}_0 + \frac{\beta}{3}\int_0^{\infty}dk k^4 \frac{e^{-\beta \sqrt{k^2+m_\pi^2}}/\sqrt{k^2 + m_\pi^2}}{1-e^{-\beta \sqrt{k^2-m_\pi^2}}}\right\}

The integrated out piece from the integral vanishes, leaving you with a nasty, nasty integral that would probably cause Mathematica to punch you in the face if you tried to enter it into it. So, we do the next best thing, because it's the only thing we know how to do: assume m_\pi is small compared to k and expand as a series. To start, I'll rewrite the integral a little bit:

\ln Z_\pi \simeq \frac{\nu \Omega \beta}{6\pi^2}\int_0^{\infty}dk~k^3\frac{\left(1+ \left(\frac{m_\pi}{k}\right)^2\right)^{-1/2}}{e^{\beta k\left(1 + \left(\frac{m_\pi}{k}\right)^2\right)^{1/2}} - 1}

So, we're going to be expanding the square root terms. I assume you're familar with this so I'm not going to do those steps to save myself some latexing:

\frac{\nu \Omega \beta}{6\pi^2}\int_0^{\infty}dk~k^3\frac{\left(1 - \frac{1}{2}\left(\frac{m_\pi}{k}\right)^2 + \cdots\right)}{e^{\beta k}e^{\beta k\left( \frac{1}{2}\left(\frac{m_\pi}{k}\right)^2 + \cdots \right)} - 1}

Now we're going to want to expand the second expontential in the denominator there, as its argument is small (at least if we add on the additional assumption that \beta m_\pi is small.

\frac{\nu \Omega \beta}{6\pi^2}\int_0^{\infty}dk~k^3\frac{\left(1 - \frac{1}{2}\left(\frac{m_\pi}{k}\right)^2 + \cdots\right)}{e^{\beta k}\left[1 + \left(\beta k\left( \frac{1}{2}\left(\frac{m_\pi}{k}\right)^2 + \cdots \right)\right) + \frac{1}{2}\left(\beta k\left( \frac{1}{2}\left(\frac{m_\pi}{k}\right)^2 + \cdots \right)\right)^2 + \cdots \right] - 1}

So, as you can see, this thing is getting uuuuugggglyyy. So I'm just going to go up to O(m_\pi^2). Splitting the numerator into two terms, we see that in the second term I can neglect the expansion in the numerator as that'll give me terms of order higher than I really want. In the first term I need to expand the denominator. Factor out an exp(\beta k) - 1 from the denominator and expand.

The zeroth order term is easy to evaluate:

\frac{\nu \Omega \beta}{6\pi^2}\int_0^{\infty}dk~\frac{k^3}{e^{\beta k} - 1} = \frac{\nu \Omega \beta}{6\pi^2}\beta^{-4} 3! \zeta(4) = (\nu \Omega \beta)T^4 \frac{\pi^2}{90}

The integral is evaluated noting that it is proportional to the polylogarithm \mbox{Li}_{4} evaulated at 1, which is equivalent to the Reimann zeta function evaluated at 4. the proportionality factor is 3! in this case. (The factor of beta^(-4) came from defining x = beta*k to de-dimensionalize the integral). Evidently Boltzmann's constant is set to 1 in this book.

Now for the second order terms:

-\frac{m_\pi}{2}\int_0^{\infty}dk~k\left[\frac{e^{\beta k}\beta k}{\left(e^{\beta k} -1\right)^2} + \frac{1}{e^{\beta k} - 1} \right]

The first term came from expanding the denominator of the ugly part above. The second was from the second order term of the numerator. Cleaning up the integral a bit gives the total second order contribution as

-\frac{\nu \Omega \beta T^4}{12 \pi^2}\frac{m_\pi^2}{T^2}\int_0^{\infty}dx~x\left[\frac{xe^x + e^x - 1}{\left(e^x-1\right)^2}\right]

Now, there's probably some clever way to evaluate the integral there in terms of polylogarithms. I could probably do it with some thinking, but I think for now I won't. Wolfram seems to be able to do it, but I can't evaluate the definite integral online, so instead I just evaluated it numerical, from x = 0.000000000001 (or so) to 49, which gives me 4.9348... . Dividing this by 12 \pi^2 gives a number pretty close to 1/24.

Hence, there's the second term of the series expansion. You can keep doing this game to generate higher order terms, though each one is probably going to give you more and more annoying-to-evaluate integrals.

So, to second order,

\ln Z_\pi \simeq (\nu \Omega \beta)T^4 \left( \frac{\pi^2}{90} - \frac{m_\pi^2}{24T^2} + \cdots~\right)
 
Last edited:
Thank you very much, that was a great help ! :smile:

But I still have one question: how did you obtain the result for second order terms:


-\frac{m_\pi}{2}\int_0^{\infty}dk~k\left[\frac{e^{\beta k}\beta k}{\left(e^{\beta k} -1\right)^2} + \frac{1}{e^{\beta k} - 1} \right] ?

Splitting the numerator (as you mentioned it) into two terms, I obtained (in \mathcal{O}(m_{\pi}^{2})):

<br /> \dfrac{1}{e^{\beta k} \left( 1+ \beta k \dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^2} \right) - 1} - \dfrac{\dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^{2}}{e^{\beta k} \left( 1+ \beta k \dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^2} \right) - 1}<br />

But now I'm stuck at this point. How exactly did you expand this? I used a calculator and I didn't obtain the same result (just for the 0. order it is the same one)
 
parton said:
<br /> \dfrac{1}{e^{\beta k} \left( 1+ \beta k \dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^2} \right) - 1} - \dfrac{\dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^{2}}{e^{\beta k} \left( 1+ \beta k \dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^2} \right) - 1}<br />

But now I'm stuck at this point. How exactly did you expand this? I used a calculator and I didn't obtain the same result (just for the 0. order it is the same one)

In the first term, I multiplied the exponential through to get

}e^{\beta k} + e^{\beta k} \beta k \dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^2} \right) - 1

I then moved the -1 over next to the lone exponential and factored out the e^{\beta k} - 1} term to get

\left(e^{\beta k}-1\right) \left(1 + \frac{e^{\beta k} \beta k \dfrac{1}{2} \left(\dfrac{m_{\pi}}{k}\right)^2}{e^{\beta k} -1} \right)

The second factor can now be binomially expanded (since you have 1 over that). The term with the (e^{\beta k} -1)^{-1} is just the zeroth order term. The second term from that expansion is the first term in the second order integral I wrote in my last post.

For the second term in the expression quoted at the top of this post, you could do the same expansion in the denominator as I just did, but that will generate terms of order higher than m_\pi^2, so to second order I just dropped those terms, which is effectively like setting m_\pi = 0 in the denominator of that term.

Now, that's second order. Since I didn't try th expansion any further, third order mystifies me a little, as it's not clear to me that any third order terms will come out of this expansion (since it's in terms of m_\pi^2 s). It certainly bugs me a little. I suspect it may be a typo and meant to be 4th order, as there's no 1st order term. I may have to think about that some more.
 
Last edited:
Okay, I thought about it some more, and I've decided that I currently have very little clue how they get the terms beyond second order. I keep trying, and the integrals I have to evaluate to get the coefficients keep diverging, no matter how I try to do the expansion (and I've tried a few ways now). The 'cleanest' way I've thought of so far is to change variables to get the integral into the following form (s = \beta m_\pi):

I(s) = \int_{s}^{\infty}du~\frac{(u^2-s^2)^{3/2}}{e^u - 1}

and then either: expanding the numerator using the bionomail theorem; approximating the lower limit as 0 for the zeroth and second order terms seems to recover what we have above; at fourth order I get a divergent integral doing that. The other method is to expand I(s) in a power series about s = 0; however, the expansion once again hits a brick wall at third and fourth order, where the coefficients seem to diverge.

So, for now, I'm afraid I'm simply at a loss as to how to get the higher order terms. =/
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 8 ·
Replies
8
Views
7K
  • · Replies 4 ·
Replies
4
Views
10K
Replies
2
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K